Clean up site#272

patzielinski wants to merge 1 commit into

mastersecure-systems-lab/secure-systems-lab.github.io:masterfrom

overhaul-publications-newssecure-systems-lab/secure-systems-lab.github.io:overhaul-publications-newsCopy head branch name to clipboard