diff make-dist @ 75437:9f5312eef798

Remove support for hp800 and sr2k machine types.
author Chong Yidong <cyd@stupidchicken.com>
date Sat, 27 Jan 2007 18:40:43 +0000
parents 3d45362f1d38
children 69151e6e8613 95d0cdf160ea
line wrap: on
line diff