diff options
| author | joachifm <joachifm@users.noreply.github.com> | 2016-04-12 23:42:45 +0200 |
|---|---|---|
| committer | joachifm <joachifm@users.noreply.github.com> | 2016-04-12 23:42:45 +0200 |
| commit | 860aa01782d112ee911a8f36fb15fca3e4af58e6 (patch) | |
| tree | 60415e8c71d55fdc6298306c0f12020f6add513b /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 2274d7e96ee76d350dcfb72f8133500beafacb3e (diff) | |
| parent | ec098aad41da059b0ce71292638a78d0e71d5350 (diff) | |
Merge pull request #14618 from moretea/update_mcrl2
Update mcrl2
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions