Remove old documentation dir

TUM-Dev · Feb 4, 2024 · 71f089f · 71f089f
1 parent f8f335f
commit 71f089f
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 1,107 deletions.
diff --git a/Documenation/Makefile b/Documenation/Makefile