diff man/abbrevs.texi @ 29052:77868152457d

Change header line.
author Dave Love <fx@gnu.org>
date Sun, 21 May 2000 17:21:24 +0000
parents 85ee0699746e
children 4f58e2bbcb08
line wrap: on
line diff