del docs folder

2019-02-21 07:42:44 +00:00
parent 9d02c2df6d
commit 450a37bb5e
18 changed files with 0 additions and 13435 deletions
@@ -161,4 +161,3 @@ add_subdirectory(lib)
 add_subdirectory(swig)
 add_subdirectory(python)
 add_subdirectory(grc)
-add_subdirectory(docs)