diff options
| author | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2017-05-22 20:06:31 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-22 20:06:31 +0300 |
| commit | 37c89aaaa7948574529e05a88d42d5343d1053c9 (patch) | |
| tree | aee2e922d487c64504ebffc30cd1d198e138d2f2 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 2ddcec98856cf3dc77f242d705f71b3358d26953 (diff) | |
| parent | 5f04a61d4fe8fac31dfb4b1d58f599a1067017c6 (diff) | |
Merge pull request #25826 from Zimmi48/patch-1
coqPackages: default version 8.4pl6 -> 8.6
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions