diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-04-24 11:51:05 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-04-26 22:29:15 -0500 |
| commit | 9402a566206f855234f3bdd90983974ea96f6e07 (patch) | |
| tree | 8b28d6fa77924157923f3f0441cdd9192efb68b2 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 39d8b61a25eb1fc0b5410b7fec4992540f8e5b8a (diff) | |
coq_8_5: New expression
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions