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 /toplevel | |
| parent | fa397ec05fdfea053470cddafd1ab09a710f5bc9 (diff) | |
coq_makefile installs native files
Diffstat (limited to 'toplevel')
0 files changed, 0 insertions, 0 deletions