diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-07-10 00:17:38 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-07-21 15:27:02 +0200 |
| commit | 1173278f3462673dccd20b8be95cb1281a64f815 (patch) | |
| tree | 8974c16c9415f84af793c130b273e38f0cbe6296 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bbc7e18ed7ccea7ba85713f461e5017a1f27fcef (diff) | |
ProofGeneral: 4.3pre131011 -> 4.3pre150313
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions