diff options
| author | Hugo Herbelin | 2015-09-22 18:45:27 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-11-07 21:50:28 +0100 |
| commit | 4bd5dcfeb558f826d90123357a3e5336f96b2213 (patch) | |
| tree | 53645bad98b0724a982877ab44802313f07a8c69 /plugins/syntax/string_syntax.ml | |
| parent | 2f6daa7f4d0f4fae5a3fffdabf675d5b249ee377 (diff) | |
Adding an amazing property of Prop.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions