diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-08-14 10:29:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-14 10:29:34 +0200 |
| commit | 9bf92a16407f654642985a6b4140d261db6c6e5c (patch) | |
| tree | 06324b813bcbb77a23855dfdb41ced0cc3e55797 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 5762a5771b5789fd3fa345ab375646e799adf3d8 (diff) | |
| parent | 4f0db5d0ad12ff44e24094b483c80731bf2f1cc9 (diff) | |
Merge pull request #44997 from vbgl/default-coq-8.8
coq: default to version 8.8
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions