diff options
| author | hallgren <hallgren@chalmers.se> | 2011-04-06 13:57:19 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-04-06 13:57:19 +0000 |
| commit | 00a08fb4fb2ede3219acd6c607be1b3e3e25b3d4 (patch) | |
| tree | b0da12351370936b82a3ec55a7a7ada7fccf2e8e /src/runtime/javascript/editor-grammar/EditorEng.gf | |
| parent | b4e3e8c0fab88f595e17e664a3642dcde5745c22 (diff) | |
avoid warning from ghc-7.0
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
Diffstat (limited to 'src/runtime/javascript/editor-grammar/EditorEng.gf')
0 files changed, 0 insertions, 0 deletions