|
|
87ac9cce7d
|
Test with new version.
|
2019-08-13 22:03:19 +02:00 |
|
|
|
b62da6b00f
|
Correct release pipeline.
|
2019-08-13 21:57:29 +02:00 |
|
|
|
b3bb993867
|
Set server properties for production.
|
2019-08-13 21:46:31 +02:00 |
|
|
|
9423f64284
|
Edit paths in jenkinsfile of production.
|
2019-08-11 22:08:09 +02:00 |
|
|
|
53f49ab13f
|
Add jenkinsfile for production.
|
2019-08-11 19:45:36 +02:00 |
|
