Tue, 04 Jun 2019 12:04:14 +0200 |
Magnus Schieder |
update CHANGES
|
Fri, 30 Nov 2018 12:56:42 +0100 |
Magnus Schieder |
Merge
3.2
|
Fri, 30 Nov 2018 12:50:00 +0100 |
Magnus Schieder |
Merge
|
Fri, 30 Nov 2018 12:44:01 +0100 |
Magnus Schieder |
Update version
|
Mon, 19 Nov 2018 11:24:11 +0100 |
Bernhard Reiter |
CHANGES: Improve phrasing for human_time() fix.
|
Tue, 06 Nov 2018 13:19:06 +0100 |
Magnus Schieder |
Update TODO and CHANGES.
|
Thu, 01 Nov 2018 10:55:24 +0100 |
Thomas Arendsen Hein |
update CHANGES
|
Mon, 17 Sep 2018 20:41:28 +0200 |
Magnus Schieder |
merged, Updated TODO, CHANGES
|