]> git.plutz.net Git - shellwiki/commit - themes/default.sh
bugfix editor help: display of original language page
authorPaul Hänsch <paul@plutz.net>
Tue, 15 Aug 2023 11:33:49 +0000 (13:33 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 15 Aug 2023 11:33:49 +0000 (13:33 +0200)
commitf8f0f8b5a4745894afc6438f25d68cae249a7014
treeff570a0a02252a3410d451e6a51b7c125087b7bf
parentade7bf5a0fb735ac515d6f0bfd6e4b169989bc27
bugfix editor help: display of original language page
themes/default.sh