diff options
| author | Pierre-Marie Pédrot | 2018-10-19 16:21:22 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-19 16:24:46 +0200 |
| commit | 266050f7aaa0ee0b090b30b1acabaccda6919889 (patch) | |
| tree | 290d511d83edbdd9709ccd2ec32c0ec05904c6ce /dev/tools/pre-commit | |
| parent | 3f6eebb9cfeda531d1f71e2ea0fa2d5afa9c28fc (diff) | |
Porting the test-suite to coqpp.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions