use
use copied to clipboard
Update USE version after release of $v7.1.1
Description
After the release of USE version $v7.1.1 it is tiome to change the version to a new one. For this, please change the following files:
- ./pom.xml
- ./use-assembly/pom.xml
- ./use-core/pom.xml
- ./use-core/src/main/java/org/tzi/use/config/Options.java
- ./use-gui/pom.xml