From 327f918f4ec59813b058eb5d937672074bab8d2c Mon Sep 17 00:00:00 2001 From: manuel83 Date: Fri, 16 Nov 2018 21:55:34 +0100 Subject: [PATCH] config added --- .idea/workspace.xml | 79 ++++++++++++++++++++++++++++--------------- docs/.nojekyll | 0 docs_src/copy_docs.sh | 2 +- 3 files changed, 53 insertions(+), 28 deletions(-) create mode 100644 docs/.nojekyll diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 48dde39..409828e 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,7 +2,8 @@ - + + @@ -281,13 +293,13 @@ @@ -1080,14 +1092,6 @@ - - - - - - - - @@ -1226,14 +1230,27 @@ - + + + + + + + + + + + + + + - + @@ -1241,7 +1258,7 @@ - + @@ -1257,5 +1274,13 @@ + + + + + + + + \ No newline at end of file diff --git a/docs/.nojekyll b/docs/.nojekyll new file mode 100644 index 0000000..e69de29 diff --git a/docs_src/copy_docs.sh b/docs_src/copy_docs.sh index 7b3bdeb..b29d3ae 100755 --- a/docs_src/copy_docs.sh +++ b/docs_src/copy_docs.sh @@ -1,3 +1,3 @@ rm -rf ../docs cp -r build/html ../docs -touch ../.nojekyll \ No newline at end of file +touch ../docs/.nojekyll \ No newline at end of file