diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 16:51:10 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 16:51:10 +0100 |
commit | 0e9ad65b7302ae8fe419726e4a311e42e2dae749 (patch) | |
tree | e29312ce0859e0fd441af6c9c8357e1a654191e1 /toplevel/classes.mli | |
parent | 29268d7e8e3c9925515c1e7aaaa77ae535e7f46e (diff) |
Fix syntax highlighting of Extraction Language.
Diffstat (limited to 'toplevel/classes.mli')
0 files changed, 0 insertions, 0 deletions