diff config.bat @ 15819:4ab015189fd1

(gdb): Undo previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 01 Aug 1996 22:37:47 +0000
parents 80562f089595
children a6df390c0f5e
line wrap: on
line diff