diff options
| author | Enrico Tassi | 2014-12-10 11:40:23 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-12-10 11:40:29 +0100 |
| commit | b6296c62d391b789dd80e90209a3498f733ae10a (patch) | |
| tree | 15fc83e7e1c9efcb57efdefb59f8d438885a1761 /plugins/syntax/string_syntax.ml | |
| parent | 745c4e69f5709cc56382b650bbb36b21d3ae0ede (diff) | |
test-suite: few tests for ".v -> .vi -> .vo" compilation chain
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions