From 1eed87e27e73bf6a41b1f53dc4594b292512e255 Mon Sep 17 00:00:00 2001 From: manuel83 Date: Fri, 16 Nov 2018 21:52:09 +0100 Subject: [PATCH] config added --- .idea/workspace.xml | 93 +++++++++++++++++++++---------------- README.md | 2 +- docs/_sources/index.rst.txt | 1 - docs/genindex.html | 1 - docs/index.html | 2 - docs/py-modindex.html | 1 - docs/search.html | 1 - docs/searchindex.js | 2 +- docs_src/source/index.rst | 1 - 9 files changed, 56 insertions(+), 48 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index c20bffd..48dde39 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -73,30 +73,30 @@ - + - - + + - - + + - - + + - - + + - + @@ -167,12 +167,12 @@ - + - - + + @@ -286,8 +286,8 @@ @@ -361,6 +361,20 @@