diff src/.gdbinit @ 4376:109294166e68

(validate-tex-buffer): Record mismatches in *Occur*.
author Richard M. Stallman <rms@gnu.org>
date Sat, 31 Jul 1993 07:33:02 +0000
parents 0795ced6013f
children 177aaa70734d
line wrap: on
line diff