Simon Bruder 5ed071c0ed Move admin tools to system tools ... Fixes #37. This also removes some tools from the user profile since I do not need them anymore.		2021-02-05 17:34:34 +01:00
..
simon	Move admin tools to system tools	2021-02-05 17:34:34 +01:00