diff etc/nxml/01200-0137F.el @ 110571:fd5269f6af5a

nndraft.el (nndraft-retrieve-headers): Insert Lines and Chars headers for prettier summary display.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Sat, 25 Sep 2010 15:07:55 +0000
parents 8d9f1e86292e
children ef719132ddfa
line wrap: on
line diff