comparison make-dist @ 7146:7798bbb665fb

(hp800): Define this instead of hp9000s800.
author Richard M. Stallman <rms@gnu.org>
date Thu, 28 Apr 1994 02:39:40 +0000
parents 15e380b232fa
children 5a03fc943b38
comparison
equal deleted inserted replaced
7145:1221250ed953 7146:7798bbb665fb