Update doc/Platforms.txt
authorAlexander Barton <alex@barton.de>
Sun, 15 Nov 2015 16:06:24 +0000 (17:06 +0100)
committerAlexander Barton <alex@barton.de>
Sun, 15 Nov 2015 16:06:24 +0000 (17:06 +0100)
commit49acb68584aee4eab2fd9e89c81cc9fdf54eee7c
tree5c06612e6740d3387483acac8acb41238c4a37ef
parentd8aba40f07d739692cdeccbd49a1c163998945ba
Update doc/Platforms.txt
doc/Platforms.txt