diff options
Diffstat (limited to 'releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh')
| -rwxr-xr-x | releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh b/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh index 151aa5cc1d..332eed2e58 100755 --- a/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh +++ b/releng/org.eclipse.sirius.releng/publish-nightly-jiro.sh @@ -35,7 +35,7 @@ provided by the Jenkins build. set -e # The full version (should be taken as an argument) -export VERSION="6.3.0" +export VERSION="6.3.1" # The type of build being published export BUILD_TYPE="nightly" |