Merge branch 'main' into release_1.0rc1

2020-10-18 11:45:37 +02:00
parent 5f8e4b5316 50cc135dde
commit 89a2d8db74
76 changed files with 992 additions and 457 deletions
@@ -12,7 +12,6 @@
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
 #
-# import os
 # import sys
 # sys.path.insert(0, os.path.abspath("."))
 import os