diff options
| author | Pierre Letouzey | 2013-12-20 13:26:56 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2013-12-20 18:40:39 +0100 |
| commit | 6265121eb4a1d23b8012b89cc40a5e3a2c79f221 (patch) | |
| tree | 0625e717ab5ad49205d86953606e333da5dcc992 /dev | |
| parent | f42ebfc4347e6b5db4aae4ab2b7d02e3b007e732 (diff) | |
coqmktop without Unix (simpler all_subdirs)
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions