summaryrefslogtreecommitdiff
path: root/xxd.ml
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 22:31:51 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 01:15:03 +0100
commit8d1269767de9268db630187fc9da9b58c49a0745 (patch)
tree13b60b560cbe0eb5fc8e3b87da1a5c76d0425dcb /xxd.ml
parenta626ab534224cc244d58259e622b9a59703223f6 (diff)
downloadocaml-sid-8d1269767de9268db630187fc9da9b58c49a0745.tar.gz
sid: define more constant authorities from MS-DTYP
Diffstat (limited to 'xxd.ml')
0 files changed, 0 insertions, 0 deletions