summaryrefslogtreecommitdiff
path: root/_oasis
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-30 23:26:16 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 23:26:22 +0100
commit682f7b9002a09e7b5adfbb8cce788eb7302bc92b (patch)
tree5ab2c9449576c4196db9399c1f0c67472fcac1ad /_oasis
parentf73e3ddc7bb778efb1c562633f9779bf027117d4 (diff)
downloadocaml-sid-682f7b9002a09e7b5adfbb8cce788eb7302bc92b.tar.gz
sid_test: prefer Stdint module shorthands
Diffstat (limited to '_oasis')
0 files changed, 0 insertions, 0 deletions