diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2014-09-20 12:13:43 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2014-09-20 12:13:43 +0400 |
| commit | 18ca33ee7ccb2e00044f572b44c9920b65f51bba (patch) | |
| tree | bfcb674a1d9fac6c58074f1e744685d99eb6c637 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | d22a3b8d0ea0911a07ec5f8cbb2b064ecb06f4a5 (diff) | |
Adopt fix from ewemoa to give more memory to acl2 build
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions
