]> git.plutz.net Git - shellwiki/commit
minor style fix
authorPaul Hänsch <paul@plutz.net>
Tue, 11 Nov 2025 04:55:53 +0000 (05:55 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 11 Nov 2025 04:55:53 +0000 (05:55 +0100)
commit579c0df94b24e6827d3f16c70fa55dfad7b16f67
tree7575f355460fe94a989824fe2dc5a30e5e4f043d
parented08763bd39da9210ec3f15e58707280ac82ee5e
minor style fix
themes/default.sh