diff leim/makefile.nt @ 30044:f28b2213c12b

Remove duplicate @direntry.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 05 Jul 2000 11:41:57 +0000
parents b4efea8791e6
children b4b7c7c35095
line wrap: on
line diff