Fix HTML directory navigation by unifying file and directory handling#1395

linw1995 wants to merge 2 commits into

mozilla:mastermozilla/grcov:masterfrom

linw1995:masterlinw1995/grcov:masterCopy head branch name to clipboard