support for "selected" keyword, improved handling of "checked"
authorPaul Hänsch <paul@plutz.net>
Mon, 16 Jul 2018 22:59:51 +0000 (00:59 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 16 Jul 2018 22:59:51 +0000 (00:59 +0200)
commitd45f9673ac73e57aa307db2514e6233dd673b7db
treefcf0772c1ba06512e7eebb9627cc2bfc030e4a79
parent55052a16e5c2792b25c90b8aea0e3daea06b533a
support for "selected" keyword, improved handling of "checked"
html-sh.sed