]> git.plutz.net Git - shellwiki/commitdiff
Merge commit 'a0e80b53ee3e393907040ce06b0d7fb82d8e0eec'
authorPaul Hänsch <paul@plutz.net>
Tue, 10 May 2022 22:24:28 +0000 (00:24 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 10 May 2022 22:24:28 +0000 (00:24 +0200)
1  2 
cgilite/cgilite.sh

Simple merge