Dennis Eichhorn 5d9decf28b bug fixes from the day before		2022-03-19 00:02:43 +01:00
..
db.json	changed badly named permission type to permission category because type should only be read/write/...	2022-03-17 23:01:29 +01:00
Navigation.install.json	bug fixes from the day before	2022-03-19 00:02:43 +01:00
Navigation.php	always use and many other todo implementations	2022-03-17 22:39:51 +01:00