Branch: refs/heads/master
  Home:   https://github.com/jenkins-infra/jenkins.io
  Commit: 4a7bc3180675d206cab512ec2714cc957452355b
      
https://github.com/jenkins-infra/jenkins.io/commit/4a7bc3180675d206cab512ec2714cc957452355b
  Author: Daniel Beck <[email protected]>
  Date:   2017-06-10 (Sat, 10 Jun 2017)

  Changed paths:
    M content/_layouts/developer.html.haml
    M content/_layouts/documentation.html.haml
    M content/doc/developer/_book.yml
    M content/doc/developer/blueocean-plugin-development/index.adoc
    M content/doc/developer/building/index.adoc
    M content/doc/developer/development-environment/index.adoc
    A content/doc/developer/javadoc.html.haml
    M content/doc/developer/plugin-development/index.adoc

  Log Message:
  -----------
  Minor improvements to developer docs structure

- Restructure left navigation bar for developer docs
- add new page for links to Javadoc
- Move Blue Ocean doc up in the list to plugin dev.


  Commit: 14212ab18dfdb1616c64623c1d59f7921059c47f
      
https://github.com/jenkins-infra/jenkins.io/commit/14212ab18dfdb1616c64623c1d59f7921059c47f
  Author: Daniel Beck <[email protected]>
  Date:   2017-06-12 (Mon, 12 Jun 2017)

  Changed paths:
    M content/_layouts/developer.html.haml
    M content/_layouts/documentation.html.haml
    M content/doc/developer/_book.yml
    M content/doc/developer/blueocean-plugin-development/index.adoc
    M content/doc/developer/building/index.adoc
    M content/doc/developer/development-environment/index.adoc
    A content/doc/developer/javadoc.html.haml
    M content/doc/developer/plugin-development/index.adoc

  Log Message:
  -----------
  Merge pull request #938 from daniel-beck/developer-docs-javadoc

Minor improvements to developer docs structure


Compare: 
https://github.com/jenkins-infra/jenkins.io/compare/d0c25b71813f...14212ab18dfd

-- 
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].
For more options, visit https://groups.google.com/d/optout.

Reply via email to