diff src/m/hp800.h @ 51681:0a1f20d3fa89

Fix minor Texinfo usage.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Jun 2003 16:20:28 +0000
parents 23a1cea22d13
children b4397c0420d4 d7ddb3e565de
line wrap: on
line diff