diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-11-25 12:58:07 -0800 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-11-25 12:58:07 -0800 |
| commit | 2b8ef119c57b9a6fbd6d14e2a95f2c99a7c46eae (patch) | |
| tree | 5eedbda16e1d32e1eb65f7f0a29a7d2eec6256fc /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | cb1c818491c6335aefd3eb3c3e57d76d038f5259 (diff) | |
Revert "coq: 8.5b2 -> 8.5b3"
This reverts commit c111b0cd4d3d9b419e63623364132f2e6e55db44.
@oconnorr I will restore this once there is more ecosystem to support it.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions