An error occurred while fetching the assigned milestone of the selected merge_request.
- Wolfgang Knopki authored
+ 1
- 1
@@ -36,7 +36,7 @@ pages-devel:
@@ -36,7 +36,7 @@ pages-devel:
- curl --upload-file ROOT.war -u tomcat:$TOMCATPASS "https://m4lab.hft-stuttgart.de/manager/text/deploy?path=/ROOT&update=true"