diff --git a/documentation b/documentation deleted file mode 160000 index 6ae96f1..0000000 --- a/documentation +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 6ae96f196383d697acb38a0ad5a3b1a63d4df586