Merge branch 'release/v0.5.0' of https://github.com/dojot/docs into a…

…dd_example_context05
dojot · Aug 27, 2020 · 733a36a · 733a36a
2 parents d6fffb1 + 4d465e1
commit 733a36a
Show file tree

Hide file tree

Showing 4 changed files with 392 additions and 12 deletions.
diff --git a/.gitignore b/.gitignore
@@ -6,5 +6,4 @@ _*
 .vscode
 
 # Pipenv files
-Pipfile*
 .doctrees
diff --git a/Pipfile b/Pipfile
@@ -0,0 +1,16 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+
+[packages]
+sphinx = "*"
+sphinx-autobuild = "*"
+sphinx-rtd-theme = "*"
+sphinx-intl = "*"
+sphinxcontrib-plantuml = "*"
+
+[requires]
+python_version = "3.8"
diff --git a/Pipfile.lock b/Pipfile.lock