diff options
| author | Jason Gross | 2017-05-30 22:59:33 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-05-31 16:06:55 -0400 |
| commit | ac4125093abda3a3204436d688f49eae0e7ab340 (patch) | |
| tree | b1eb27504172591651a2658137e71f4870c45a62 /pretyping/patternops.ml | |
| parent | eed90d1bd867dce59f6bf1b2bf769fff188f128b (diff) | |
Reformat Makefile.ci
Diffstat (limited to 'pretyping/patternops.ml')
0 files changed, 0 insertions, 0 deletions