diff options
| author | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-04-13 22:16:48 +0300 |
|---|---|---|
| committer | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-04-13 22:16:48 +0300 |
| commit | 0420a532e9ac71d9e7f6107acf4fac8eaa4d14fe (patch) | |
| tree | cba8fb7cab629f3afa4d44b670b2a8fb436f8275 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b338187e71829bbf2c0a51bfd8db065864c62ab8 (diff) | |
| parent | 618b336808a320aa134b0ed730b1bcfbc6c3ce23 (diff) | |
Merge pull request #14649 from vbgl/coq_8.5.1
Coq 8.5pl1
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions