diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-12-21 16:11:55 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-12-21 16:12:43 -0800 |
| commit | d80aa87b131d4bcdad1942d526a46992e82d4cd3 (patch) | |
| tree | 1d8c73f2a082f61859ff5a64ee9c0fdeb060c038 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bf47b58f21740cf0c6659d3f01d0bfd68e21f828 (diff) | |
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions