diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2015-06-03 22:40:09 -0400 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-06-04 11:05:53 +0200 |
| commit | bcba6e61cda6094a1228fe1bd9b942cfc2036d81 (patch) | |
| tree | 8feb6bb4b3a8f1a58dbf7f591b67bc4ea04ecfde /etc/munin/plugin-conf.d/jenkins | |
| parent | 2192cc4ed8a187f46093e1907d394fe6da93433d (diff) | |
| download | jenkins.debian.net-bcba6e61cda6094a1228fe1bd9b942cfc2036d81.tar.xz | |
provide anchors to target sections of the front page
This patch makes it easier to point people at the list of variations
and the list of usertagged bugs. It also uses css to make the
targeted sections have a different header color (i'm happy for more
style-y people to improve on this visual cue).
Diffstat (limited to 'etc/munin/plugin-conf.d/jenkins')
0 files changed, 0 insertions, 0 deletions