diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-25 02:04:23 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-25 08:55:31 +0200 |
| commit | 1d72ce49cf8d6c4d68360b113513d1d87ce66d61 (patch) | |
| tree | 514aae03954e69814a9be9354080cc4b6b57c25e /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 2727ecec3744e5c271c0040f94ca436068b309a1 (diff) | |
coq-8.3: fix (needs make 3)
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions