diff src/.gdbinit @ 5045:ef406a9b2f44

(distclean): Do delete Makefile and Makefile.in.
author Richard M. Stallman <rms@gnu.org>
date Tue, 16 Nov 1993 08:39:13 +0000
parents 177aaa70734d
children 0e488f8ef02c
line wrap: on
line diff