diff Jenkinsfile @ 7934:867963eba064

front-end: tweak display of select2 - both in settings and Summary Download options New version needs slightly different hacking ...
author Mads Kiilerich <mads@kiilerich.com>
date Mon, 21 Oct 2019 01:46:44 +0200
parents d9e37f7fd35b
children 89e9aef9b983
line wrap: on
line diff