tree f2c42310bd8db2731cc533705ae512032a441d51
parent 20be3b205242c0d55ca0f1faad47be5454193f26
author David Shevitz <dshevitz@google.com> 1507128913 -0700
committer David Shevitz <dshevitz@google.com> 1507128913 -0700

Put verification file back as html

Change-Id: Ie86f6ebd4204775f5d68962a6c317c2e6751564a