make "checked" and "selected" keywords interchangeable
authorPaul Hänsch <paul@plutz.net>
Tue, 17 Jul 2018 00:06:10 +0000 (02:06 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 17 Jul 2018 00:06:10 +0000 (02:06 +0200)
commitcbd426df72dee35e5920de18084ca6770454481d
treeb3fffa69f7dd70648636f20bd120b4b8c8e0b2aa
parent6aa432e55d9227b58dbe3d20518eb7adfa057070
make "checked" and "selected" keywords interchangeable
html-sh.sed