diff --git a/doc/Design Docs b/doc/Design Docs deleted file mode 100644 index 8b13789..0000000 --- a/doc/Design Docs +++ /dev/null @@ -1 +0,0 @@ -