diff --git a/en_US.ISO8859-1/htdocs/platforms/mips.xml b/en_US.ISO8859-1/htdocs/platforms/mips.xml index 49008b8721..ce1005f61c 100644 --- a/en_US.ISO8859-1/htdocs/platforms/mips.xml +++ b/en_US.ISO8859-1/htdocs/platforms/mips.xml @@ -26,7 +26,7 @@