diff options
| author | James Wood <jammyatjammy@gmail.com> | 2018-08-06 17:39:11 +0100 |
|---|---|---|
| committer | xeji <36407913+xeji@users.noreply.github.com> | 2018-08-06 18:39:11 +0200 |
| commit | 9934f0bb51afbee232f58fcdaac060c1dc48f0dd (patch) | |
| tree | 4df2c88faf4a40b47239ce3d4ddcb583e36fe3c9 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | a2f499e21df9aa447e6a7af2be030a58447f877f (diff) | |
AgdaStdlib: 0.15 -> 0.16 (#44550)
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions