diff options
| author | worldofpeace <worldofpeace@users.noreply.github.com> | 2018-11-24 00:18:10 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-24 00:18:10 -0500 |
| commit | 3ce5fac5e3529c12f1d7d1ebad33d9396d07a738 (patch) | |
| tree | b95346a9398de9f76830a84f255a41c799502267 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 598fcb04211a11d077bd01205472b440f68e1bc2 (diff) | |
| parent | 1040875bf4acd76f5fa36d9566d27695ca96d68d (diff) | |
Merge pull request #50975 from worldofpeace/minizinc/2.2.3
minizinc: 2.2.1 -> 2.2.3
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions