diff man/mule.texi @ 75436:723770a5c883

* unexhp9k800.c: Remove due to lack of legal papers. * m/sr2k.h, m/hp800.h: Remove due to dependence on above.
author Chong Yidong <cyd@stupidchicken.com>
date Sat, 27 Jan 2007 18:39:47 +0000
parents 3d45362f1d38
children 8ecf38ca6f33 95d0cdf160ea
line wrap: on
line diff