diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-01-13 23:26:13 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-01-15 06:56:11 +0100 |
commit | 8f077f6d05d0c764e401ce6770f6b598523c33fc (patch) | |
tree | 569e849ed018a77f36eeec81ef54f6b9708ce50e /doc | |
parent | fa397ec05fdfea053470cddafd1ab09a710f5bc9 (diff) |
coq_makefile installs native files
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions