Allow for optional platform names in header#58

jazairi merged 1 commit into

mainMITLibraries/mitlibraries-theme:mainfrom

gdt-124-platform-name-in-headerMITLibraries/mitlibraries-theme:gdt-124-platform-name-in-headerCopy head branch name to clipboard