Added link to http://db.debian.org/machines.cgi

[mirror/userdir-ldap.git] / web / searchform.wml

diff --git a/web/searchform.wml b/web/searchform.wml
index 68db844..3898135 100644 (file)
--- a/web/searchform.wml
+++ b/web/searchform.wml
@@ -276,3 +276,5 @@
 settings</p>
 </center>
 </form>
+<hr>
+<p align=center><a href="http://db.debian.org/machines.cgi">Debian development machines</a></p>