diff src/.gdbinit @ 97376:a6106721efd0

Prune some instances of "regenerate", in line with the documented policy that ChangeLog entries are not needed for such events.
author Glenn Morris <rgm@gnu.org>
date Sun, 10 Aug 2008 00:23:50 +0000
parents e9980210e4ed
children b99ba7437dec
line wrap: on
line diff