diff options
Diffstat (limited to 'rts/Updates.h')
| -rw-r--r-- | rts/Updates.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/Updates.h b/rts/Updates.h index 1bd742a746..36280b5b12 100644 --- a/rts/Updates.h +++ b/rts/Updates.h @@ -91,3 +91,11 @@ INLINE_HEADER void updateWithIndirection (Capability *cap, #endif #endif /* UPDATES_H */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |