diff options
| author | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-31 15:51:01 +0200 |
|---|---|---|
| committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-05-31 16:30:24 +0200 |
| commit | 8d924455c1ae81d35cdb3ed885984a96c31e9637 (patch) | |
| tree | bbbff7eb52737437cee814b2f3b57aafde334323 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | e6ce11f0bd0eb5e9a65a83c7e7eea93fa06dcc3a (diff) | |
idris-mode: update from 0.9.15 to 0.9.18
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions