diff options
| author | John Wiegley <johnw@newartisans.com> | 2017-07-10 15:04:32 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2017-07-10 15:04:32 -0700 |
| commit | fdc49ed8fac458dbfc15eca84660c217f2d2fdfb (patch) | |
| tree | fcd262ec64c76d8451c39ffaf37b4b710bca9191 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 46dc5394cd995f0b5ba6c842424d1de594fead31 (diff) | |
coqPackages.paco: Add attribute to 8_5 and 8_6 as well
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions