diff options
author | Valerie R Young <spectranaut@riseup.net> | 2016-07-21 14:23:26 -0400 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-07-24 11:46:03 -0400 |
commit | 04ce1ef4e0778b6387739a4ba5b56fdbe90d0567 (patch) | |
tree | 8757848eaf8cd5f3d43c8f0871551fdaabddb251 /bin/jenkins_node_definitions.sh | |
parent | a93cd8dbb2de5474ec20b728f09395575d81cac2 (diff) | |
download | jenkins.debian.net-04ce1ef4e0778b6387739a4ba5b56fdbe90d0567.tar.xz |
reproducible debian: decouple navigation and page writing logic
Decoupling the navigation and page writing logic made it easier to
do the following:
- fix a bug introduced by adding headers at the top of the mainbody div
(fixed in this commit)
- make package pages to use the same structure as all other pages that
contain a left navigation (to do in future)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin/jenkins_node_definitions.sh')
0 files changed, 0 insertions, 0 deletions