SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.0.12 (commit: 074e659) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 448a108) (details)
Commit 074e6598b0d0dd9ee1fbda023bca150c16f487a9 by jenkins
[maven-release-plugin] prepare release Release/0.0.12
Bump ide/ to version 0.0.12
(commit: 074e659)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
Commit 448a10805e2db0d285b7ac6df9b6f276faa9c211 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.13-SNAPSHOT
(commit: 448a108)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)