diff options
| author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-05-16 13:22:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-16 13:22:25 +0200 |
| commit | 6b8da804666f76d2d931a3ffd3f948daa14673fb (patch) | |
| tree | 467ddd5dc80acbfaa161f4746a14b945c53d1a1e /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | d5e18499d936c7a7cd22e96dc6ed957086a7b1ce (diff) | |
coqPackages: default version 8.4pl6 -> 8.6
This fixes incomplete commit 83a50c2.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions