diff Jenkinsfile @ 7009:80fffda17c55

less: use default/bootstrap style for summary-menu-stats
author domruf <dominikruf@gmail.com>
date Sat, 28 Oct 2017 19:21:00 +0200
parents 58713c2ebfff
children d9e37f7fd35b
line wrap: on
line diff