[Jenkins]Jenkins

SuccessChanges

Summary

  1. [maven-release-plugin] prepare release Release/0.1.6 (commit: 041e3b4) (details)
  2. [maven-release-plugin] prepare for next development iteration (commit: 5ce47f0) (details)
Commit 041e3b41c53dbb478f1cc3e7eb24cd07f364f7ce by jenkins
[maven-release-plugin] prepare release Release/0.1.6
Bump ide/ to version 0.1.6
 (commit: 041e3b4)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/features/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedide/features/cgen/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 modifiedpom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
Commit 5ce47f04504aded10e3c4d6b97a6d3881e6e33fc by jenkins
[maven-release-plugin] prepare for next development iteration
Bump ide/ to version 0.1.7-SNAPSHOT
 (commit: 5ce47f0)
The file was modifiedide/cgen/pom.xml (diff)
The file was modifiedide/pom.xml (diff)
The file was modifiedide/repository/pom.xml (diff)
The file was modifiedpom.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/features/pom.xml (diff)
The file was modifiedc/pom.xml (diff)
The file was modifiedcore/pom.xml (diff)
The file was modifiedcore/vdm2c/pom.xml (diff)
The file was modifiedc/vdmclib/pom.xml (diff)
The file was modifiedide/features/cgen/feature.xml (diff)