diff options
| author | Austin Seipp <aseipp@pobox.com> | 2014-05-17 14:49:57 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-05-17 14:49:57 -0500 |
| commit | 453f93cc92de42a4c695c3d241f74ffa41a6fb64 (patch) | |
| tree | 3630f344d938287922fde2552404112f3cb0e590 /pkgs/development/python-modules/httpserver | |
| parent | 008dc39ca3117d837e5eb8c099386a55d912fd32 (diff) | |
| parent | 0a6b317071b8ee5200945802e686da155ea93db4 (diff) | |
Merge pull request #2514 from jwiegley/coq
Make Coq buildable on any Unix
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions