summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-30 23:33:08 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 23:33:08 +0100
commit8b89c516c814e9626a294eb74cf72a9a863eec46 (patch)
treef793fca0d0fca734e5ca17aac27739f526c04184 /.gitignore
parent682f7b9002a09e7b5adfbb8cce788eb7302bc92b (diff)
downloadocaml-sid-8b89c516c814e9626a294eb74cf72a9a863eec46.tar.gz
sid_test: unit test string format version numbers some more
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions