Branch: refs/heads/master
Home: https://github.com/jenkins-infra/jenkins.io
Commit: 33fcf18908bc2f99bee82ec6750d03ce562797bc
https://github.com/jenkins-infra/jenkins.io/commit/33fcf18908bc2f99bee82ec6750d03ce562797bc
Author: Tim Jacomb <[email protected]>
Date: 2020-02-08 (Sat, 08 Feb 2020)
Changed paths:
M content/_layouts/developerbook.html.haml
M content/doc/developer/book.html.haml
Log Message:
-----------
Improve navigation layout for developerbook
Commit: b7bef4fd09005bdb5b566f5a2fbd1869e1d2cfd8
https://github.com/jenkins-infra/jenkins.io/commit/b7bef4fd09005bdb5b566f5a2fbd1869e1d2cfd8
Author: Mark Waite <[email protected]>
Date: 2020-02-08 (Sat, 08 Feb 2020)
Changed paths:
M content/_layouts/developerbook.html.haml
M content/doc/developer/book.html.haml
Log Message:
-----------
Merge pull request #2839 from timja/docs-navigation
Improve navigation layout for developerbook
Compare:
https://github.com/jenkins-infra/jenkins.io/compare/6eed5b6a95e0...b7bef4fd0900
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-commits/jenkins-infra/jenkins.io/push/refs/heads/master/6eed5b-b7bef4%40github.com.
