[Jenkins]Jenkins

SuccessChanges

Summary

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