diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2018-10-30 23:26:16 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2018-10-30 23:26:22 +0100 |
| commit | 682f7b9002a09e7b5adfbb8cce788eb7302bc92b (patch) | |
| tree | 5ab2c9449576c4196db9399c1f0c67472fcac1ad /.gitignore | |
| parent | f73e3ddc7bb778efb1c562633f9779bf027117d4 (diff) | |
| download | ocaml-sid-682f7b9002a09e7b5adfbb8cce788eb7302bc92b.tar.gz | |
sid_test: prefer Stdint module shorthands
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions