diff options
| author | John Wiegley <johnw@newartisans.com> | 2016-01-25 12:33:01 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2016-01-25 12:33:31 -0800 |
| commit | 5009b4a8cf7fd3e5468d2bd634c04103c49fe703 (patch) | |
| tree | b5151a61d3a34f4bb362bdfcc4667d78a078cb5a /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | e395cb0214af755d460ce0e2a3642e92a5c7c19c (diff) | |
coq_8_5: 8.5rc1 -> 8.5
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions