diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2013-06-14 12:16:52 -0400 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2013-06-14 12:16:52 -0400 |
| commit | c9f59592851036eef99ac2ed2096aa46935531ec (patch) | |
| tree | ff3fb6ca99fe1849a8d04475d06c282ab6cd9dc6 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 7346eb64bfb636a30a3987e3365d99763ffb4347 (diff) | |
Update Coq to version 8.4pl2.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions