diff etc/nxml/01720-0173F.el @ 93814:e024e293c965

(Some Terms): Change "fonts in this manual" index entry to "typographic conventions".
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 07 Apr 2008 04:46:48 +0000
parents d26545774eef
children ef719132ddfa
line wrap: on
line diff