diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-02 08:51:24 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-11-02 08:51:24 +0000 |
| commit | 6a449c0742be295deb0f6edc25ff94870bb5250e (patch) | |
| tree | 7da942ad4a97c9727c7accb15fa1594b12a789ef /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bfd838a695d0ce9adad5c9d140a53739e0485487 (diff) | |
coqPackages.contribs.zfc: enable for Coq 8.8
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions