diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-08-31 19:26:05 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-08-31 19:26:05 +0100 |
| commit | b1e388cefbf30872a9d9e567da0598c24e61027a (patch) | |
| tree | 645d05d1c58da80d5e4007743099645aaa18d807 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | d1a8a8d76d16f756920fc2b84b64c0e1efba07e6 (diff) | |
agda-stdlib: update to 0.8.1
This is necessary after the Agda-2.4.2 bump
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions