diff --git a/docs b/docs deleted file mode 160000 index ef7765dad..000000000 --- a/docs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit ef7765dada2bd0814fac5c2d2780f974dbe79cb8