SpiritCroc 33d59b3ec6 Hide timeline_settings
This menu item was added upstream, but we already have the menu item
show_room_info which does the same thing, and I prefer its wording to
upstream.

Change-Id: I065eeec4b3fdf4751978776566350823f2da5131
2020-10-17 16:43:52 +02:00
..
2020-10-17 16:43:52 +02:00
2020-08-09 17:02:51 +02:00
2020-08-14 09:31:24 +02:00