diff options
| author | Peter Simons <simons@cryp.to> | 2014-05-04 12:17:35 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-05-04 12:17:35 +0200 |
| commit | c2fd001fd4728bca9808e47b1339bf2582acf911 (patch) | |
| tree | 67c89d8ff87f0f4be9c8c84a6165f7185d51dda0 /pkgs/development/python-modules/rangehttpserver | |
| parent | 70b39119c34fe73f4c0e46dfc8eeed8570ec847d (diff) | |
Remove obsolete Agda-executable package; the compiler is not part of 'Agda'.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions