Jörn Friedrich Dreyer 357fbd88be use class for no results div instead of id. the elements are not unique.		2015-01-06 14:34:35 +01:00
..
index.php	use class for no results div instead of id. the elements are not unique.	2015-01-06 14:34:35 +01:00