diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-04-26 22:32:52 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-04-26 22:32:52 -0500 |
| commit | 3768a7aea9455b48ad2c5c9eaa78ab6ea494973b (patch) | |
| tree | 479a70b35c2932d4a5bd070fa959b8cb32a139a1 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | de808ae79fcdabe461ab220626b3a2dbd2e0b050 (diff) | |
| parent | 9402a566206f855234f3bdd90983974ea96f6e07 (diff) | |
Merge pull request #7539 from jwiegley/coq_8_5
coq_8_5: New expression
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions