diff options
| author | Julien Forest | 2014-04-14 23:22:14 +0200 |
|---|---|---|
| committer | Julien Forest | 2014-04-14 23:22:14 +0200 |
| commit | 5fb2050e424062540ffbf22de0838fafe4de0a41 (patch) | |
| tree | 235a18a0481828d9af31c28df41e3492c5adb044 /plugins/syntax/string_syntax.ml | |
| parent | a51d94e77bd352522744da4dbdbf98b36c19631e (diff) | |
Closing bug #3260
adding a new grammar entry for clauses
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions