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