diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2016-07-28 15:56:20 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2016-07-28 15:56:20 +0200 |
| commit | c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0 (patch) | |
| tree | 6f131f1be082266cbb38962d27177da7d43c3d83 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | ace13888c7cf189b2c69cccc99cde1ff7cd3f208 (diff) | |
Update HOL Light to version 2016-07-23.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions