changelog
fix toolchain script
- Tue, 13 Aug 2019 21:37:01 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Tue, 13 Aug 2019 21:37:01 +0200] rev 10
- fix toolchain script
fix incompatibility with some unix systems
- Tue, 13 Aug 2019 21:01:48 +0200
- by Olaf Wintermann <olaf.wintermann@gmail.com> [Tue, 13 Aug 2019 21:01:48 +0200] rev 9
- fix incompatibility with some unix systems
