diff Jenkinsfile @ 6671:5e3adb20839d

style: replace code-body etc with Bootstrap-ish panel and panel-heading, using panel-default for headers and tweak them grey Based on work by Dominik Ruf.
author Mads Kiilerich <mads@kiilerich.com>
date Sun, 11 Jun 2017 15:02:09 +0200
parents 8a60eb2b7603
children 0acb46763886
line wrap: on
line diff