comparison src/.gdbinit @ 103809:e45ed3bf8f64

(texinfodir): Rename from usermanualdir, and update. (clean): Add two-volume.make intermediate files.
author Glenn Morris <rgm@gnu.org>
date Thu, 09 Jul 2009 03:07:16 +0000
parents e949a1712db6
children 7139c31d3b12
comparison
equal deleted inserted replaced
103808:75dde6a610b0 103809:e45ed3bf8f64