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)
commit601ab994238dc43115be48f1c0ac0616ee7ad5f6
tree07207596d05d25e41acad0f157c1979d3556dfae
parent15078e431bc826110aa93dd78af7b60f132671ab
Refactor symbol usage, add symbol explanation anchor to HTML.

(The latter for mobile device views where abbreviations cannot be
hovered productively.)
enhance_table.py