]> git.tue.mpg.de Git - paraslash.git/commit
web: Avoid bold face on main page.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 7 Nov 2021 22:21:03 +0000 (23:21 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 10 Feb 2022 15:52:51 +0000 (16:52 +0100)
commit3bb115e79a7e0c1e450c2fe3d0ac806703672f60
tree9d862fd3dc356fb364db473b748289bddd244953
parent13b1fc8970ff3cc216a34ba257a367261185b2f1
web: Avoid bold face on main page.

There is no reason to highlight this particular word.
web/about.in.html