diff options
| author | Gaëtan Gilbert | 2019-05-24 14:37:54 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-24 14:37:54 +0200 |
| commit | f2753cbb1f2aee24dfd7f231d5285e2c6ce12abd (patch) | |
| tree | 8cf77944d37f994192ea26a7aca400f184d4fd1a /dev/tools/pre-commit | |
| parent | 11b8b33f1d7d7fe3f29c83745cc2c06b121a3fb0 (diff) | |
Update coqdev-setup-proofgeneral for dune
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions