diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2018-07-05 12:26:14 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2018-07-05 12:26:43 +0200 |
| commit | 7c63a9cac22531e9116d0bd44521a1f0cea3bf8d (patch) | |
| tree | 2c157741f0e9c41dff8beca10cbcab6ce117f7f2 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 08f1528eda26286381772b27803d118d1a20b270 (diff) | |
eprover: 2.0 -> 2.1
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions