Display title in nav only if PLATFORM_NAME is not set#59

jazairi merged 1 commit into

mainMITLibraries/mitlibraries-theme:mainfrom

conditional-nav-titleMITLibraries/mitlibraries-theme:conditional-nav-titleCopy head branch name to clipboard