log

age author description
Thu, 05 Mar 2020 12:15:37 +0100 Fadi Abbud merged default into time-sliding branch time-sliding
Mon, 02 Mar 2020 16:17:50 +0100 Thomas Junk toolbar: font for time display increased time-sliding
Mon, 02 Mar 2020 14:58:47 +0100 Thomas Junk toolbar: fix display of time time-sliding