diff options
| author | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-01-03 00:34:32 +0300 |
|---|---|---|
| committer | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2016-01-03 00:34:32 +0300 |
| commit | a158f61313498def344bafbc81d60733e577ba8b (patch) | |
| tree | 7b507db9fe1de77cbc1f2a2d1f7ef54c71ef7eaa /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 1979034956c44d4d71d38a9dedf10de27a6f2095 (diff) | |
| parent | 711e9e20de5e3b42e6416d047c2526e0336ce1c7 (diff) | |
Merge pull request #12092 from gebner/metis-20160101
metis-prover: 2.3 -> 2.3.20160101
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions