diff Jenkinsfile @ 6585:84cca4c4808b

vcs: drop unused baseui_config.py
author Mads Kiilerich <mads@kiilerich.com>
date Tue, 11 Apr 2017 01:35:30 +0200
parents 8a60eb2b7603
children 0acb46763886
line wrap: on
line diff