diff options
| author | Peter Simons <simons@cryp.to> | 2013-06-03 22:09:09 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2013-06-03 22:09:34 +0200 |
| commit | 1ed5202c2c75f5768a0387d3212831d74c366a1b (patch) | |
| tree | af9609c3100e6ab585f36cf89a11c5d5826dc088 /pkgs/development/python-modules/rangehttpserver | |
| parent | 7b21e19a82b89ac5fa704fac005abee7d63cadfc (diff) | |
Agda: cosmetic change
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions