SuccessChanges

Summary

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