+++ /dev/null
-#use wml::db.d.o title="debian.org Developer Machines"
-
-<table border=1 width="100%">
-<tr valign="top">
-<td width="20%" align="center">
-<b>Lookup:</b><br>
-<form method="post" action="machines.cgi">
-<select name=host>
-<option value="_summary_">Summary
-~hostlist~
-</select>
-<input type=submit value="Go">
-</form>
-</td>
-<td>
- <br>
-~hostdetails~
-<br>
-</td>
-</tr></table>