diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-03 17:13:53 +0000 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-03 17:13:53 +0000 |
| commit | 60c80fd312ddbc446228e00c8517b7700a9d657f (patch) | |
| tree | 90db0bc6ffc38bdd1e71d1902a5b51d19006e205 /pkgs/development/python-modules/rangehttpserver | |
| parent | d466b40bb35ecb6aa710f4c2eb8eb56e1fa79742 (diff) | |
agda-pretty: update darcs revision
Fixes the package for new Agda version
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions