diff options
Diffstat (limited to 'rts/Papi.c')
| -rw-r--r-- | rts/Papi.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/rts/Papi.c b/rts/Papi.c index 39b9ee75f1..a36157f4c1 100644 --- a/rts/Papi.c +++ b/rts/Papi.c @@ -394,11 +394,3 @@ papi_thread_stop_gc1_count(int event_set) } #endif /* USE_PAPI */ - -// Local Variables: -// mode: C -// fill-column: 80 -// indent-tabs-mode: nil -// c-basic-offset: 4 -// buffer-file-coding-system: utf-8-unix -// End: |