Start 0.2.5 development

- Use pipenv to manage dependencies during development - Bump version number to 0.2.5.dev1
2019-07-13 21:51:27 +02:00 · 2019-07-13 21:51:27 +02:00 · 12a6b34550
commit 12a6b34550
parent 713dc39b9e
4 changed files with 464 additions and 2 deletions
--- a/15
+++ b/15
@ -0,0 +1,15 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[dev-packages]
+sphinx = ">=2"
+path-py = ">=8.2.1"
+ipcalc = ">=1.99"
+
+[packages]
+jandd-sphinxext-ip = {editable = true,path = "."}
+
+[requires]
+python_version = "3.7"