Thomas Müller c252de56d0 Update search/index.php vor 12 Jahren
..
ajax e59a1806cf remove superfluous ?> at the end of .php files (left out apps/*/templates) vor 12 Jahren
css 3ba9a9e6a8 adding proper copyright and license notice to the style files vor 12 Jahren
js f4b937c6fe Simplify search result js code vor 12 Jahren
templates aa08196c32 some interface work on instant search vor 13 Jahren
index.php c252de56d0 Update search/index.php vor 12 Jahren