diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2014-08-12 03:57:40 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2014-08-12 03:57:52 +0400 |
| commit | f1f0f0cf199d7f7dc96f1047ac0ea3d8f7ac6bff (patch) | |
| tree | 8ceed6cf7cf7ce528ad27b960d3162c43963cdb4 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 66858833e3a86c7fef4f221fa4c82644bae5ba82 (diff) | |
Update and fix LEO2 prover
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions