diff options
Diffstat (limited to 'rts/Timer.h')
| -rw-r--r-- | rts/Timer.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/rts/Timer.h b/rts/Timer.h index 8bd7da4d54..b03ef0680f 100644 --- a/rts/Timer.h +++ b/rts/Timer.h @@ -13,11 +13,3 @@ RTS_PRIVATE void initTimer (void); RTS_PRIVATE void exitTimer (rtsBool wait); #endif /* TIMER_H */ - -// Local Variables: -// mode: C -// fill-column: 80 -// indent-tabs-mode: nil -// c-basic-offset: 4 -// buffer-file-coding-system: utf-8-unix -// End: |