Update doc/Platforms.txt
authorAlexander Barton <alex@barton.de>
Sun, 27 Oct 2013 23:00:06 +0000 (00:00 +0100)
committerAlexander Barton <alex@barton.de>
Sun, 27 Oct 2013 23:00:06 +0000 (00:00 +0100)
commitfae7bd1bb74c482bc714d7fb4dcf8b3f211acd0d
treebbc234b59ece9990ff9cd98ccb7ad01b56f18340
parent0556aa19011bb16e58bf436fc0199e18c4f3ec21
Update doc/Platforms.txt
doc/Platforms.txt