diff options
| author | Gergely Risko <gergely@risko.hu> | 2013-08-28 21:35:07 +0200 |
|---|---|---|
| committer | Gergely Risko <gergely@risko.hu> | 2013-08-28 21:35:07 +0200 |
| commit | b43347342b1f5852a1a15a837e6979dc7cc13072 (patch) | |
| tree | 17030c4a1779ba7647e2697c152974ac0729fd2f /pkgs/development/python-modules/rangehttpserver | |
| parent | 47b53fd084dc503d8d513c01b4dbcc40b51e60ed (diff) | |
Add platforms to coq, so it's built on Hydra
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions