diff --git a/doc b/doc deleted file mode 160000 index e19465b..0000000 --- a/doc +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e19465bc8442ee0a536b4d2da6e9ef25639893bf