changelog
- Sun, 15 Dec 2019 18:08:14 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 15 Dec 2019 18:08:14 +0100] rev 707
- change version to 1.3.0
- Sun, 15 Dec 2019 17:57:15 +0100
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Sun, 15 Dec 2019 17:57:15 +0100] rev 706
- fix documentation index page