diff options
| author | Peter Simons <simons@cryp.to> | 2014-05-12 17:41:24 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-05-14 15:02:32 +0200 |
| commit | cb644cafa85337f9424f747029ee27e90f63edee (patch) | |
| tree | 613dc3657bcd0d90e9976519547ba004be0acc02 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | cd03e41fc721afa4cb80f9f8a085e9b3aecc7abc (diff) | |
Agda: require QuickCheck < 2.7
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions