SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.0.10 (commit: baba40c) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 54ae1bd) (details)
Commit baba40c17294a925ca6bb11f565c0f55a6d7ec54 by jenkins
[maven-release-plugin] prepare release Release/0.0.10
Bump ide/ to version 0.0.10
(commit: baba40c)
The file was modifiedpom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
Commit 54ae1bd2d9c27f0e7bee30ad3092dadec2e40ed3 by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.0.11-SNAPSHOT
(commit: 54ae1bd)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedide/cgen/META-INF/MANIFEST.MF (diff)
The file was modifiedpom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/repository/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 modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)