diff options
| author | laMudri <lamudri@gmail.com> | 2016-12-24 20:15:31 +0000 |
|---|---|---|
| committer | laMudri <lamudri@gmail.com> | 2016-12-24 21:53:28 +0000 |
| commit | 5683311b7c0ae5c20f7cdb3ae219b7bff7491d3f (patch) | |
| tree | f53d20631f48c8bc0435db324a829e0fb9a8e03a /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | bc4a6719809f8965c71e2375e5760ef3bc04a0d3 (diff) | |
AgdaStdlib: v0.12 -> v0.13
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions