comparison Jenkinsfile @ 7103:850096e57fe8

less: cleanup panel-heading style - override @headings-font-weight instead of using custom style - remove font-size: 14px it is already the default
author domruf <dominikruf@gmail.com>
date Thu, 04 Jan 2018 21:21:53 +0100
parents 58713c2ebfff
children d9e37f7fd35b
comparison
equal deleted inserted replaced
7102:3613459fb144 7103:850096e57fe8