diff options
| author | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:37:31 +0200 |
|---|---|---|
| committer | Mathijs Kwik <mathijs@bluescreen303.nl> | 2014-06-19 13:38:54 +0200 |
| commit | 9ceeb77bd35708e4aff0da429bc3658adec9d410 (patch) | |
| tree | 30dc030b0e679609d2faf7a2a792f70327719504 /pkgs/development/python-modules/rangehttpserver | |
| parent | 0a8455800c66d78e44907907639376225f18f0f6 (diff) | |
agda-stdlib: no need to jailbreak anymore
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions