summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 00:03:50 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-28 23:07:52 +0100
commit4175ecde16ddbb0637cfafd3a41254d995d8bab7 (patch)
tree56b1d7207e322465b2549733c0fd2b66bb3507b2 /sid.mli
parent442a0edc90451478d560c2d185e411afbcc1181c (diff)
downloadocaml-sid-4175ecde16ddbb0637cfafd3a41254d995d8bab7.tar.gz
util: sidparse_test. add trivial test wrapper
Diffstat (limited to 'sid.mli')
0 files changed, 0 insertions, 0 deletions