diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-18 07:58:50 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-11-18 07:58:50 +0000 |
| commit | 73db2dab55ac007de81448b3886649aed702db04 (patch) | |
| tree | fba153461a00e38645debb6a7cfaeee54ab0a80c /pkgs/development/python-modules/GitPython | |
| parent | ef19a9a6e9d96bfdcf088430eb2033ff6dc64c66 (diff) | |
agda-iowa-stdlib: update to r18734
Now works with Agda 2.4.2.1
Diffstat (limited to 'pkgs/development/python-modules/GitPython')
0 files changed, 0 insertions, 0 deletions