Bug that prevented picking alternate themes from default
authortonnesen <tonnesen>
Tue, 14 May 2002 21:54:41 +0000 (21:54 +0000)
committertonnesen <tonnesen>
Tue, 14 May 2002 21:54:41 +0000 (21:54 +0000)
commitf490f252c2ba9ba1e3a3e7f17c478fda120673e2
treeb297c97c6cc2be28655afaaf25d5930b3429668d
parentfad9ba7d69d7cc1283aa901d2fae9ca29cdb2cea
Bug that prevented picking alternate themes from default
html-template/search.pl