diff man/programs.texi @ 42224:9709e1618364

(distclean): Remove .gdbinit if we are building outside the source tree.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 21 Dec 2001 11:40:15 +0000
parents 0bac781ea0d6
children 640c0fcaebf1
line wrap: on
line diff