diff options
| author | hallgren <hallgren@chalmers.se> | 2015-10-02 09:59:55 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-10-02 09:59:55 +0000 |
| commit | beccb68dddabefe1fee399242063fa2dabc4d5eb (patch) | |
| tree | d759f93a8e559bba787ecba0b1e8a93595f45e68 /src/runtime/javascript/editorGrammar.js | |
| parent | 35a237d8cff82af5134e1aacffd637d6e4a56a26 (diff) | |
GF.Interactive2: extension FlexibleContexts is needed for GHC 7.10 compatibility
Diffstat (limited to 'src/runtime/javascript/editorGrammar.js')
0 files changed, 0 insertions, 0 deletions