home · contact · privacy
Refactor symbol usage, add symbol explanation anchor to HTML.
authorChristian Heller <c.heller@plomlompom.de>
Sat, 4 Jul 2020 00:25:24 +0000 (02:25 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Sat, 4 Jul 2020 00:25:24 +0000 (02:25 +0200)
(The latter for mobile device views where abbreviations cannot be
hovered productively.)


No differences found