diff options
| author | John Wiegley <johnw@newartisans.com> | 2015-01-09 15:19:58 -0600 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2015-01-09 15:20:17 -0600 |
| commit | 753539800e2c5bc958d6307f8ea7f6d828bce232 (patch) | |
| tree | ea0f910644d591f961588552c2dfe2e0a75f067d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 69f5738668df4498b2e64a9a76abf90b50b938f1 (diff) | |
coqPackages.fiat: enable building the examples as a test
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions