phl0 98e83ee511 Reformat result table and also handle empty results		2023-07-10 19:14:08 +02:00
..
footer.php	Basics for public search via slug	2023-06-28 23:43:34 +02:00
header.php	Reformat result table and also handle empty results	2023-07-10 19:14:08 +02:00