diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-11-03 10:38:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-03 10:38:45 -0700 |
| commit | 4008300243c3b8e3a24202feb0057b70f1139ac6 (patch) | |
| tree | b6f8604a0c35b851a58111278584f44cc81f0739 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b137b8d1aa14637db1397aaffacf0524d95803e6 (diff) | |
| parent | b028b5f4ef03d6c3dae4cdda898c1996348c4e18 (diff) | |
Merge pull request #20025 from vbgl/coq-8.5pl3
Coq: 8.5pl2 -> 8.5pl3
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions