diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-01 16:30:27 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-01 16:30:27 +0200 |
| commit | 97b27e69c053c2810201f6a72a186234c012b64f (patch) | |
| tree | cb1e26842fec8c92c8010eb5fcc7e425b6fee307 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | b4ad13f667143a444a82fd9da5b46d65ff32a26b (diff) | |
Update HOL Light to svn r244.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions