Update emulators/vmips from 1.2.2 -> 1.3. Only the distinfo and version numbers need changing in this update. Fix: ------Cut here for vmips.diff--------------------------------------------------
State Changed From-To: open->closed Committed, thanks!