comparison src/s/hpux11.h @ 78910:ba829cdc5870

Mention Tex superscript font issue.
author Glenn Morris <rgm@gnu.org>
date Fri, 28 Sep 2007 03:30:29 +0000
parents 695cf19ef79e
children 375f2633d815 cb1bfa1dca4f
comparison
equal deleted inserted replaced
78909:545574ac320d 78910:ba829cdc5870