diff Copyright @ 13148:73661450b92b

remove unnecessary mips check (it's obsolete anyway)
author rathann
date Thu, 26 Aug 2004 09:24:03 +0000
parents 93774d4a0c1d
children 6f5fd8abdcda
line wrap: on
line diff