diff Jenkinsfile @ 7525:47a8dbf1bcce

Merge translation changes from stable
author Andrej Shadura <andrew@shadura.me>
date Wed, 30 Jan 2019 11:12:23 +0100
parents 58713c2ebfff
children d9e37f7fd35b
line wrap: on
line diff