diff man/misc.texi @ 29660:e522fcce15e8

(set_internal): Remove debug code.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 15 Jun 2000 10:27:40 +0000
parents 203ba1f77b7b
children c17c1380a43d
line wrap: on
line diff