Henrik Giesel 1df6c5f596 Avoid highlighting of toprightbuttons to shift the topbar		2021-01-22 12:53:45 +01:00
..
web	Avoid highlighting of toprightbuttons to shift the topbar	2021-01-22 12:53:45 +01:00
BUILD.bazel	strip out unused gettext refs	2020-11-18 13:22:51 +10:00