Thomas Rubini ddc2c72d58 use function to get difficulty		2023-01-26 16:25:42 +01:00
..
edit.php	loop over difficulties	2023-01-25 23:07:45 +01:00
search.php	styled search part of search page	2023-01-26 13:34:24 +01:00
view.php	use function to get difficulty	2023-01-26 16:25:42 +01:00