diff src/.gdbinit @ 63640:2b9aa367d2f8

(Defining Faces): Add `customized-face'.
author Juri Linkov <juri@jurta.org>
date Tue, 21 Jun 2005 16:05:06 +0000
parents 123211374403
children a8fa7c632ee4 21eea50897a7 f042e7c0fe20
line wrap: on
line diff