use icon indicating copy to clipboard operation
use copied to clipboard

Update USE version after release of $v7.1.1

Open github-actions[bot] opened this issue 8 months ago • 0 comments

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

github-actions[bot] avatar Jun 19 '24 15:06 github-actions[bot]