diff options
| author | Peter Simons <simons@cryp.to> | 2013-06-15 12:32:51 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2013-06-15 12:39:16 +0200 |
| commit | 9c771de1a8fb4fa0707a9dc29b100f8dad54e4e6 (patch) | |
| tree | dc83d0bfea128044346f69823d8756baed723368 /pkgs/development/python-modules/GitPython | |
| parent | 0f25c404bc5630a630adb4ef07011cb25e134c89 (diff) | |
Agda: drop redundant overrides
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions