Minor cleanup work on navigation, text, and customization files.#5204
Merged
mdboom merged 3 commits intomatplotlib:masterfrom Nov 8, 2015
Merged
Minor cleanup work on navigation, text, and customization files.#5204mdboom merged 3 commits intomatplotlib:masterfrom
mdboom merged 3 commits intomatplotlib:masterfrom