We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0de8efd commit 0fce108Copy full SHA for 0fce108
CHANGELOG.md
@@ -7,7 +7,7 @@
7
8
## Changelog
9
10
-### 1.0.1-dev
+### 1.0.1
11
12
* Fix bug where an uninterpreted function declaration did not
13
contribute correctly to the logic selection.
pyvcg/version.py
@@ -23,7 +23,7 @@
23
##############################################################################
24
25
VERSION_TUPLE = (1, 0, 1)
26
-VERSION_SUFFIX = "dev"
+VERSION_SUFFIX = ""
27
28
PYVCG_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \
29
("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")
0 commit comments