diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-28 09:59:09 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-28 09:59:09 +0100 |
| commit | ddfca160f14eba979bcaa238da4c91e4e445f37b (patch) | |
| tree | 1eea1d9f481b47ddda8f7bf88966f7fb7bb5f4fe /vernac/obligations.ml | |
| parent | 5a540c372648493575461a298e04b9fa716661ad (diff) | |
| parent | 1077f801309cf4bd08eb0e63cf9a84271bcaf255 (diff) | |
Merge PR #6235: Fixing failing mkdir in test-suite for coq-makefile.
Diffstat (limited to 'vernac/obligations.ml')
0 files changed, 0 insertions, 0 deletions