]> git.plutz.net Git - lobster/commitdiff
Merge commit '72a09b93c234933c5550aa4848d6111ddf40be8f' into cgilite
authorPaul Hänsch <paul@plutz.net>
Tue, 10 Dec 2019 00:13:15 +0000 (01:13 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 10 Dec 2019 00:13:15 +0000 (01:13 +0100)
1  2 
cgilite/html-sh.sed

Simple merge