diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-06 12:10:09 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-06 12:10:09 +0000 |
| commit | faea8def191e6609525910216755e1d1311a0017 (patch) | |
| tree | 7db3eab95819b9b5f0ba3ce1aa92583c72099826 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | a7afcff928421b17c2c4b23ddd6e630c54f48854 (diff) | |
coqPackages_8_5.fiat_HEAD: fix build
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions