diff options
| author | Austin Seipp <aseipp@pobox.com> | 2014-05-22 14:22:31 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-05-22 14:22:31 -0500 |
| commit | 925a016113aa54acf468ebb8ef1b3a9ebb640207 (patch) | |
| tree | 15bebee1bb6182f7a944442c7cfe62717832f982 /pkgs/development/python-modules/rangehttpserver | |
| parent | 4241e3087444699e8e5d295b9210e592cc169f5d (diff) | |
| parent | 854b1fb9fb5f482da697bb4658b97949380ce64e (diff) | |
Merge pull request #2521 from jwiegley/agda
Build AgdaStdlib before installing it
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions