]> git.plutz.net Git - shcgi/history - html-sh.sed
shorthand html
[shcgi] / html-sh.sed
2018-05-12 paulshorthand html