diff make-dist @ 5610:ccd6159c8409

Delete duplicate clauses for hp9k2... and hp9k31...
author Richard M. Stallman <rms@gnu.org>
date Sun, 16 Jan 1994 19:31:08 +0000
parents e034ade52ca0
children 27013efefaab
line wrap: on
line diff