diff options
Diffstat (limited to 'rts/ThreadPaused.h')
| -rw-r--r-- | rts/ThreadPaused.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rts/ThreadPaused.h b/rts/ThreadPaused.h index 197b8d3257..16cca35fea 100644 --- a/rts/ThreadPaused.h +++ b/rts/ThreadPaused.h @@ -12,3 +12,11 @@ RTS_PRIVATE void threadPaused ( Capability *cap, StgTSO * ); #endif /* THREADPAUSED_H */ + +// Local Variables: +// mode: C +// fill-column: 80 +// indent-tabs-mode: nil +// c-basic-offset: 4 +// buffer-file-coding-system: utf-8-unix +// End: |