diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-09 12:28:02 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-09 12:28:02 +0700 |
| commit | 395b01c2b19f31ac296b2fda7b4f8aefaa1506ee (patch) | |
| tree | dea265d687bb7812388e3bb759264b1561f4a876 /src/util.mli | |
| parent | 587757b94f221b40edacdd9d6494a62bab83a9a5 (diff) | |
| download | vyconf-395b01c2b19f31ac296b2fda7b4f8aefaa1506ee.tar.gz vyconf-395b01c2b19f31ac296b2fda7b4f8aefaa1506ee.zip | |
Not quite T245 but related: trim comments and allow more characters in identifiers.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions