diff src/.gdbinit @ 109938:a3faf2102c45

* objects.texi (Bool-Vector Type): Minor definition tweak (Bug#6878).
author Chong Yidong <cyd@stupidchicken.com>
date Thu, 19 Aug 2010 19:23:13 -0400
parents dd4b6b2fe706
children b1e1b45c9fb6 19ad0830069c
line wrap: on
line diff