diff options
| author | Valentin Robert <valentin.robert.42@gmail.com> | 2017-05-18 16:43:38 -0700 |
|---|---|---|
| committer | Valentin Robert <valentin.robert.42@gmail.com> | 2017-05-18 16:43:38 -0700 |
| commit | eaef55f69976f84dc16297f9f011984eb20c8b26 (patch) | |
| tree | 123f5e1ae845fa13cd9c983892b3005056dd73a0 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | fc2caec7565bb536b6208d1e9eaba6b674c1f69a (diff) | |
proofgeneral_HEAD: fix for files removed upstream
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions