diff options
| author | hallgren <hallgren@chalmers.se> | 2011-06-21 15:45:13 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-06-21 15:45:13 +0000 |
| commit | 549cc324d7f6703c497433e85280e558bd1258b3 (patch) | |
| tree | d7923268117e5edaa0a869ca76f5651e52db8567 /src/editor/simple | |
| parent | 739e4caef3fe53760db4d4adb2d7ee45127d492e (diff) | |
gf-server: enable -rtsopts when compiling with ghc>=7.0
Diffstat (limited to 'src/editor/simple')
0 files changed, 0 insertions, 0 deletions