]> git.plutz.net Git - shellwiki/commit
additional editor tab for translation aid
authorPaul Hänsch <paul@plutz.net>
Mon, 14 Aug 2023 18:29:44 +0000 (20:29 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 14 Aug 2023 18:29:44 +0000 (20:29 +0200)
commitb38618066722aa5000fc679ed07ebca63939e9fe
treee36cbab598fbb5f3f6a724ed08d857a6c32f6b5a
parent0a472330f692be399e9c51d45a610d98435fb0d2
additional editor tab for translation aid
themes/default.css
themes/default.sh