Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
general
stups
ProB Rodin Plugin
Commits
69b8da1e
Commit
69b8da1e
authored
Dec 16, 2020
by
Michael Leuschel
Browse files
revert back to nightly build
it still contains old version of 32 bit linux and windows probclis
parent
dcb44c0d
Changes
1
Hide whitespace changes
Inline
Side-by-side
build.gradle
View file @
69b8da1e
...
...
@@ -75,7 +75,7 @@ task downloadCli {
def
targetdir
=
dir
+
it
.
getValue
()
def
targetzip
=
dir
+
"probcli_${n}.zip"
def
url
=
"https://www3.hhu.de/stups/downloads/prob/cli/
releases/1.10.0-final
/probcli_${n}.zip"
def
url
=
"https://www3.hhu.de/stups/downloads/prob/cli/
nightly
/probcli_${n}.zip"
download
(
url
,
targetzip
)
FileTree
zip
=
zipTree
(
targetzip
)
copy
{
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment