diff options
| -rw-r--r-- | papis/__init__.py | 2 | ||||
| -rwxr-xr-x | tools/update-pypi.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/papis/__init__.py b/papis/__init__.py index 74b1e9f5..6e5a3a60 100644 --- a/papis/__init__.py +++ b/papis/__init__.py @@ -2,7 +2,7 @@ import os # Information __license__ = 'GPLv3' -__version__ = '0.11.1' +__version__ = '0.12' __author__ = __maintainer__ = 'Alejandro Gallo' __email__ = 'aamsgallo@gmail.com' diff --git a/tools/update-pypi.sh b/tools/update-pypi.sh index 952c89e4..9fa31d92 100755 --- a/tools/update-pypi.sh +++ b/tools/update-pypi.sh @@ -5,7 +5,7 @@ DIST_DIR=dist rm -rf distenv -virtualenv -p python3.7 distenv +virtualenv -p python3 distenv source ./distenv/bin/activate pip install . pip install .[develop] |