diff options
| author | Samuel W. Flint <swflint@flintfam.org> | 2019-02-14 10:11:15 -0600 |
|---|---|---|
| committer | Samuel W. Flint <swflint@flintfam.org> | 2019-02-14 10:11:15 -0600 |
| commit | 52a7c4e30ed38e66360a46b1aa42b0433a48c58f (patch) | |
| tree | 67ecd6c600beead7a0ab1ac5c177f45f3c54ea80 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 59379d1f4f012ed4bf26c24062282dd9005676c4 (diff) | |
z3: Patch file to get rid of python error
See #55591, Z3Prover/z3#2131
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions