diff options
| author | Pierre-Marie Pédrot | 2013-12-22 17:56:44 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-22 17:56:44 +0100 |
| commit | a1404eb5ab24e8cf61a69eda04ff65088dcd2846 (patch) | |
| tree | 79a36e02c17b11d47dbc4274e2a1eb3fa0174bde /kernel/nativecode.mli | |
| parent | f9107a2ac358e161c5312984748d80c33db24ef0 (diff) | |
Adding -bt to coqc.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions