diff options
| author | Pierre Boutillier | 2015-01-13 23:26:13 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-01-14 09:55:44 +0100 |
| commit | 6cf80ddfe7f90ff54ba1bc59ee9ede9aa36a7636 (patch) | |
| tree | e75779a748864225c6a99e278e2e1d21c0118660 /kernel/nativecode.ml | |
| parent | 39dbaf95e1a433e3b3fcea08935d243d01833656 (diff) | |
coq_makefile installs native files
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions