diff src/s/hpux10.h @ 78910:ba829cdc5870

Mention Tex superscript font issue.
author Glenn Morris <rgm@gnu.org>
date Fri, 28 Sep 2007 03:30:29 +0000
parents f06998349cfc
children 68df465b9550 f55f9811f5d7
line wrap: on
line diff