]> git.plutz.net Git - shellwiki/commitdiff
Merge commit '2e4c276d4c642e43be3d4bb9d7314f87c21746a6'
authorPaul Hänsch <paul@plutz.net>
Wed, 11 Oct 2023 16:24:54 +0000 (18:24 +0200)
committerPaul Hänsch <paul@plutz.net>
Wed, 11 Oct 2023 16:24:54 +0000 (18:24 +0200)
1  2 
cgilite/common.css

Simple merge