diff src/.gdbinit @ 13325:5a333a8e0ee1

Use new names config.in, paths.in, and {src,lib-src}/Makefile.in.
author Richard M. Stallman <rms@gnu.org>
date Sun, 29 Oct 1995 20:22:55 +0000
parents 6882fe187fa9
children 4c60f92bdaa6
line wrap: on
line diff