diff etc/DEBUG @ 58524:92dc214c88ac

Fix the setfilename directive to put the produced file in ../info.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 26 Nov 2004 11:56:50 +0000
parents 7e6072c66e67
children eae7969f1b06 ff0e824afa37
line wrap: on
line diff