diff options
| author | Pavan Rikhi <pavan.rikhi+agit@gmail.com> | 2015-01-07 02:13:59 -0500 |
|---|---|---|
| committer | Pavan Rikhi <pavan.rikhi+agit@gmail.com> | 2015-01-07 02:15:26 -0500 |
| commit | 56ea7c41289c7772d8b01b6e90194d1b8e9fe348 (patch) | |
| tree | 74d68e0aa969db17c3e06121556e38e91dbe1d59 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 5a228d4b4c09c3527f72c8841af1dff631f038eb (diff) | |
matita_130312: mark as broken
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions