diff options
author | 2015-01-13 23:26:13 +0100 | |
---|---|---|
committer | 2015-01-15 06:56:11 +0100 | |
commit | 8f077f6d05d0c764e401ce6770f6b598523c33fc (patch) | |
tree | 569e849ed018a77f36eeec81ef54f6b9708ce50e /README.doc | |
parent | fa397ec05fdfea053470cddafd1ab09a710f5bc9 (diff) |
coq_makefile installs native files
Diffstat (limited to 'README.doc')
0 files changed, 0 insertions, 0 deletions