]> git.plutz.net Git - shellwiki/commit
monospace fint for editor
authorPaul Hänsch <paul@plutz.net>
Wed, 18 May 2022 21:03:00 +0000 (23:03 +0200)
committerPaul Hänsch <paul@plutz.net>
Wed, 18 May 2022 21:03:00 +0000 (23:03 +0200)
commitd7ed83d3debc31d5f7910304fa31c23c699ac69a
treed10fa2bd8c85da35782b69cd28ecc8fdeca804a0
parent36ff6ab5b2eee5d4cb9eb877729685d80b1378e9
monospace fint for editor
themes/default.css