diff options
| author | John Wiegley <johnw@newartisans.com> | 2014-09-30 16:41:47 -0500 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2014-09-30 16:41:47 -0500 |
| commit | 5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4 (patch) | |
| tree | b771bd7141a839d977d570adde87a9a6c9ca7f0e /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 8d9cd1557bfe4822c2031612b397c7b0ae3ccb65 (diff) | |
isabelle: Remove Linux patches (is this correct?)
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions