Browse Source

setting stormpy version to 1.3.0 in preparation of release

refactoring
Sebastian Junges 6 years ago
parent
commit
bdff55242e
  1. 2
      lib/stormpy/_version.py

2
lib/stormpy/_version.py

@ -1 +1 @@
__version__ = "1.2.0"
__version__ = "1.3.0"
Loading…
Cancel
Save