diff src/.gdbinit @ 62813:f2a72c23fa03

(texinfo-heading-face): Specify customization group.
author Lute Kamstra <lute@gnu.org>
date Fri, 27 May 2005 13:07:49 +0000
parents 123211374403
children a8fa7c632ee4 21eea50897a7 f042e7c0fe20
line wrap: on
line diff