diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-11-02 19:39:22 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-11-02 19:39:22 +0100 |
| commit | b028b5f4ef03d6c3dae4cdda898c1996348c4e18 (patch) | |
| tree | 6416daead9f3a5c987a0b99a1635f6aa9de4e5ed /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 5f49eeb935112e69f8992083ca173728a90cbf8c (diff) | |
coq-8.5: ease the selection of an older (patch level) version
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions