diff --git a/docs b/docs deleted file mode 160000 index a6152a4..0000000 --- a/docs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a6152a442b9a0be8d56d5972558632f3f61be158