diff src/s/gnu-linux.h @ 72158:89c27eb47328

(gdb-info-breakpoints-custom): Use different faces for enable character.
author Nick Roberts <nickrob@snap.net.nz>
date Fri, 28 Jul 2006 12:11:09 +0000
parents a30f70d64256
children bf1ea63459be 138ce2701550
line wrap: on
line diff