Repository navigation

Refactor navigation bar - #9220

Merged

2 commits merged into

navbar_refactor_3000

Jun 20, 2016

Merged

Refactor navigation bar#9220
2 commits merged into
masterfrom
navbar_refactor_3000

Commits on Jun 17, 2016
- Refactor navigation bar
  Andy Hanson
  committed
  166bc49
Commits on Jun 20, 2016
- Use implicit boolean casts; it doesn't hurt performance
  Andy Hanson
  committed
  95cfaaf