diff options
| author | Enrico Tassi | 2020-05-27 22:00:00 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2020-05-27 22:00:00 +0200 |
| commit | a102a80d886bafc75991a446d1c1ae4c04494666 (patch) | |
| tree | cb1070f44e52a101c68f6f33179fcb95812e6610 /test-suite/modules | |
| parent | 35e175710795974a4a38c8a7d6da6a5ccaf8de74 (diff) | |
| parent | 4bdfeb3c6d3a90fe2980a6d9063bb00136c53eeb (diff) | |
Merge PR #12389: Small coq_makefile improvement.
Reviewed-by: gares
Diffstat (limited to 'test-suite/modules')
0 files changed, 0 insertions, 0 deletions