diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 14:00:14 +0100 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-28 14:03:15 +0100 |
| commit | 94828070ed293043eefcde0ad179145c803eb6ef (patch) | |
| tree | 48e05dd3efe09dbb4b0577ab0956cb40b3b45b7f /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | f3b8d82ce683d38d11f29a6b82de11fc6259d3a0 (diff) | |
ProofGeneral: makes the dependency on TeXLive optional
And fixes the default value of $PGHOME
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions