Fix duplicated platforms due to copy/paste error
authorMagnus Hagander <magnus@hagander.net>
Sun, 16 Nov 2014 14:47:10 +0000 (15:47 +0100)
committerMagnus Hagander <magnus@hagander.net>
Sun, 16 Nov 2014 14:47:10 +0000 (15:47 +0100)
commit6d301af4c023ac5655d88acbe55f7f49036ee50c
tree4e1778d7ba9c0fb2af3deb362d73a213d574532e
parentf52b3c44632f99d53973be57e5c729cfc3d6430f
Fix duplicated platforms due to copy/paste error

Patch from Michael Paquier, mistake spotted by KOIZUMI Satoru
doc/src/sgml/installation.sgml