diff options
| author | Pierre-Marie Pédrot | 2019-04-02 12:43:50 +0200 |
|---|---|---|
| committer | GitHub | 2019-04-02 12:43:50 +0200 |
| commit | ab24e0190e3b6a69b54ad62a63238906caeb0b11 (patch) | |
| tree | 054e51d26ac85e0704f7958d5885e47c749ec06f /dev/tools/pre-commit | |
| parent | 0bf1af8340fc340d0829a98832bbe9687aeb2670 (diff) | |
| parent | 80ad88ea8e2aab71c3dd0bf05b39776c61c93392 (diff) | |
Merge pull request coq/ltac2#117 from ejgallego/opam_update
[opam] Update file to newer format and build system.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions