diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2015-09-21 09:38:38 +0200 |
|---|---|---|
| committer | Gabriel Ebner <gebner@gebner.org> | 2015-09-21 21:42:20 +0200 |
| commit | 5493dccfbb28fb78058e821945a683ce8afe37c7 (patch) | |
| tree | e57e48c6f8bae87cf60b6f0dffb5e4c3ee6099fd /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | af9f1a5552af319d84ee3f8d33b8de9a71b0eb71 (diff) | |
metis-prover: init at 2.3
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions