comparison src/.gdbinit @ 3258:27b7aa2bcf21

* make-dist: Rebuild configure if configure.in is newer.
author Jim Blandy <jimb@redhat.com>
date Sat, 29 May 1993 19:38:45 +0000
parents 1dcc4e12b8dd
children aabcab2eab73
comparison
equal deleted inserted replaced
3257:be4f258fb329 3258:27b7aa2bcf21