takiguchi b3bb993867 Set server properties for production.

2019-08-13 21:46:31 +02:00

..

Jenkinsfile-do-release

Set server properties for production.

2019-08-13 21:46:31 +02:00

Jenkinsfile-prod

Edit paths in jenkinsfile of production.

2019-08-11 22:08:09 +02:00