diff src/.gdbinit @ 108638:08c1b90a24ee

Regenerate configure.
author Glenn Morris <rgm@gnu.org>
date Mon, 17 May 2010 19:54:25 -0700
parents 8cdd7952f894
children 7e4a23f2f3ea
line wrap: on
line diff