diff options
| author | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-01-21 18:39:57 +0300 |
|---|---|---|
| committer | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-01-21 18:39:57 +0300 |
| commit | f63db297d6c411d058389da96aa34697ea531075 (patch) | |
| tree | b0a3cb38849673fe32297df7c2d276a9db0b3385 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | c92d7481a5aec31394ab885c86dde93ade04576c (diff) | |
| parent | d714963d1b49733db07f7cb34eb338cc2cd76ac1 (diff) | |
Merge pull request #12519 from gebner/metis-20160102
metis-prover: 2.3.20160101 -> 2.3.20160102
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions