1 files changed, 8 insertions, 0 deletions
diff --git a/rts/GetTime.h b/rts/GetTime.h
index 32c3754829..8e293a8d22 100644
--- a/rts/GetTime.h
+++ b/rts/GetTime.h
@@ -29,3 +29,11 @@ W_    getPageFaults         (void);
 #include "EndPrivate.h"
 
 #endif /* GETTIME_H */
+
+// Local Variables:
+// mode: C
+// fill-column: 80
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// End: