diff options
| author | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-13 18:01:04 +0200 |
|---|---|---|
| committer | Marco Maggesi <maggesi@math.unifi.it> | 2015-09-13 18:08:20 +0200 |
| commit | cb2a05b826ae5a16ae8d4fdd43f7ff2fa9691e88 (patch) | |
| tree | 7b1a9eb4271924c21851915d409ed2758c5bef17 /pkgs/development/python-modules/GitPython | |
| parent | 89f652c6736e7b67711fc5b9e152592bddadadaa (diff) | |
HOL Light: findlib is not necessary (nor actually used). Remove dependency.
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions