diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-08-26 16:36:35 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-08-26 16:36:50 -0500 |
| commit | 686fa594ab63d117416ab1199ac2daf22a466709 (patch) | |
| tree | 4c7da65573613f9b705ca8f78d7d5b6cf15ac781 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 4f2781019e38f678ada1cb0572798351e02e955d (diff) | |
coq_HEAD: update to latest Git HEAD
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions