allow HTML comments to start with whitespace
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 3 May 2022 08:49:28 +0000 (09:49 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 3 May 2022 08:49:28 +0000 (09:49 +0100)
commit2b1d3614362d4f1a18d28d8d324b7f275a62f5bf
tree8e17d76a47bb9fa78db77638d9472ccebf9ae93d
parent79b540bb5d8f8ba139f56ff1e8010bde24df3d22
allow HTML comments to start with whitespace
this is very deliberate as these comments should not appear in the
pseudocode
src/openpower/decoder/pseudo/pagereader.py