SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.1.14 (commit: 0443ee8) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 173e4de) (details)
Commit 0443ee80208e4328efc4e2df4ea190371e66ff58 by jenkins
[maven-release-plugin] prepare release Release/0.1.14
Bump ide/ to version 0.1.14
(commit: 0443ee8)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
Commit 173e4de51ba8018cc9db1ba8e3956f6b38f12e7f by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.15-SNAPSHOT
(commit: 173e4de)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)