Fri, 06 Mar 2020 12:45:28 +0100 |
Fadi Abbud |
client: improve time-slider behavior
time-sliding
|
Fri, 06 Mar 2020 12:41:13 +0100 |
Fadi Abbud |
merged default into time-sliding branch
time-sliding
|
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
|
Mon, 02 Mar 2020 14:40:50 +0100 |
Thomas Junk |
toolbar: use localized date
time-sliding
|