Remove unused files and directories

2024-04-18 14:51:38 +02:00
parent e8eada0c88
commit bc912fec9f
52 changed files with 104 additions and 139 deletions
--- a/documentation/docs/brainstorm/.pages
+++ b/documentation/docs/brainstorm/.pages
@@ -1,2 +0,0 @@
-nav:    
-    - Ideas: ideas.md