Fri, 02 Feb 2018 16:46:04 +0100 | Olaf Wintermann | adds technical foundation to just push tag updates | changeset | files |
Thu, 01 Feb 2018 18:25:23 +0100 | Olaf Wintermann | fixes misuse of vaarg on all platforms | changeset | files |
Thu, 01 Feb 2018 16:31:24 +0100 | Olaf Wintermann | updates copyright date | changeset | files |