Michael Schnerring 4d9221d7a4 flexsearch: only display 'no results' message if search query is not empty		2021-10-15 15:42:26 +02:00
..
fonts	Initial commit	2020-04-15 15:48:16 +02:00
images	Initial commit	2020-04-15 15:48:16 +02:00
js	flexsearch: only display 'no results' message if search query is not empty	2021-10-15 15:42:26 +02:00
scss	If flexsearch returns no results, display message	2021-10-15 15:38:04 +02:00