diff src/.gdbinit @ 100112:d72f163ce147

Lennart Borgman <lennart.borgman at gmail.com> (nxml-indent-line): Don't re-indent lines that already have the correct indentation. (Bug#859)
author Glenn Morris <rgm@gnu.org>
date Tue, 02 Dec 2008 03:32:41 +0000
parents e9980210e4ed
children b99ba7437dec
line wrap: on
line diff