diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-02 23:19:31 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-06-02 23:19:31 +0200 |
| commit | a2a98a4015311af83edcf8fc87aa30a5318bead8 (patch) | |
| tree | 3de75a62850565fbd53c67d05d2bf7106a7b7f73 /vernac/lemmas.ml | |
| parent | fa517c333aaa97a04364a1d41b12783cb66c0165 (diff) | |
| parent | ac4125093abda3a3204436d688f49eae0e7ab340 (diff) | |
Merge PR#720: Reformat Makefile.ci
Diffstat (limited to 'vernac/lemmas.ml')
0 files changed, 0 insertions, 0 deletions