lint: Fix indentation in portico header HTML.

This commit is contained in:
Tim Abbott
2017-10-25 15:44:11 -07:00
parent 3cf88d8c09
commit 1a0f075136