diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-08-16 00:10:40 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-08-16 00:13:15 -0500 |
| commit | cfc70c60ab1171edd30f2731b3f595b5a40aa168 (patch) | |
| tree | bb465e790456be113c3340e895b6b01727f34fc0 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | dc285e6895e97355f769fdd6341b3e9c0cce2cf9 (diff) | |
coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions