dot termination done right (fix bug from last commit) master
authorPaul Hänsch <paul@plutz.net>
Tue, 10 Dec 2019 00:12:50 +0000 (01:12 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 10 Dec 2019 00:12:50 +0000 (01:12 +0100)
commitfa0f919ac698e41bc6376028a96aa1a361c82216
tree90e7c9aeeffb9844db179270862c18b9affa1dac
parent84e1d6938743a21a912420cc4ba5dc08a7c48155
dot termination done right (fix bug from last commit)
html-sh.sed