davidovski 649b0065e3 make some options editable via url parameters		2023-08-23 00:46:21 +01:00
..
footer.php	Add instances.php to footer	2023-08-16 22:27:48 +01:00
header.php	put all settings in single "opts" array	2023-08-23 00:46:21 +01:00
search_engine.php	make some options editable via url parameters	2023-08-23 00:46:21 +01:00
tools.php	make some options editable via url parameters	2023-08-23 00:46:21 +01:00