From cf940253dc26845941f1cdd362428733462b0f3e Mon Sep 17 00:00:00 2001 From: manuel83 Date: Fri, 16 Nov 2018 21:57:21 +0100 Subject: [PATCH] config added --- .idea/workspace.xml | 57 ++++++++++++++++++++--------------------- docs/_images/.nojekyll | 0 docs/_sources/.nojekyll | 0 docs/_static/.nojekyll | 0 docs_src/copy_docs.sh | 5 +++- 5 files changed, 32 insertions(+), 30 deletions(-) create mode 100644 docs/_images/.nojekyll create mode 100644 docs/_sources/.nojekyll create mode 100644 docs/_static/.nojekyll diff --git a/.idea/workspace.xml b/.idea/workspace.xml index 409828e..a74a71a 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,7 +2,6 @@ -