diff options
| author | Pierre Boutillier | 2015-01-13 23:26:13 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-01-15 06:56:11 +0100 |
| commit | 8f077f6d05d0c764e401ce6770f6b598523c33fc (patch) | |
| tree | 569e849ed018a77f36eeec81ef54f6b9708ce50e /kernel/nativelib.mli | |
| parent | fa397ec05fdfea053470cddafd1ab09a710f5bc9 (diff) | |
coq_makefile installs native files
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions