diff options
Diffstat (limited to 'rts/eventlog/EventLog.h')
-rw-r--r-- | rts/eventlog/EventLog.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/eventlog/EventLog.h b/rts/eventlog/EventLog.h index 85370e9843..ff5e116d6b 100644 --- a/rts/eventlog/EventLog.h +++ b/rts/eventlog/EventLog.h @@ -170,3 +170,11 @@ INLINE_HEADER void postThreadLabel(Capability *cap STG_UNUSED, #include "EndPrivate.h" #endif /* TRACING_H */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |