diff options
| author | Pierre-Marie Pédrot | 2015-02-26 15:03:36 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-26 15:03:36 +0100 |
| commit | b4a16a43d9f84969feb7b8b090092260cb898e23 (patch) | |
| tree | c30fc9ce0e6e9e7eeedd2ee346be6f6ab223add7 /kernel | |
| parent | 15a3b57db10e61c9de12b5880b04b46db1494b5b (diff) | |
Fixing printing error in coq_makefile.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions