]> git.plutz.net Git - shellwiki/commit
simplified code for editor help tabs
authorPaul Hänsch <paul@plutz.net>
Sat, 12 Aug 2023 10:54:20 +0000 (12:54 +0200)
committerPaul Hänsch <paul@plutz.net>
Sat, 12 Aug 2023 10:54:20 +0000 (12:54 +0200)
commit0a472330f692be399e9c51d45a610d98435fb0d2
tree96664a025373786efaf1156736914f31811f1a41
parent84f73eca9864a516dba6c0a8d90b9d45c94dfaad
simplified code for editor help tabs
themes/default.css
themes/default.sh