diff etc/compilation.txt @ 75887:143dda694163

* s/umips.h: Unused file removed.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 14 Feb 2007 16:29:38 +0000
parents 0259a1711394
children 713172dcf518 23923b3cada1 95d0cdf160ea
line wrap: on
line diff