diff options
| author | John Wiegley <johnw@newartisans.com> | 2018-10-10 10:00:23 -0700 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2018-10-10 10:00:23 -0700 |
| commit | 1ba4d23c3a1409c954bca89e69fe04a5ce9a1517 (patch) | |
| tree | d9423ba8ccab8a30d5cfd0fa616553dc955c11fb /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bd778b93c9bb50c9eb3ddaf162fdc8b35385b464 (diff) | |
Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"
This reverts commit f5f71c08cdbf1f66b654a1321460b6a7d771c26a, due to
insufficient testing.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions