diff src/.gdbinit @ 78271:713172dcf518

Switch license to GPLv3 or later.
author Glenn Morris <rgm@gnu.org>
date Wed, 25 Jul 2007 06:47:31 +0000
parents 922696f363b0
children a3528f09f3e9 65663fcd2caa f55f9811f5d7
line wrap: on
line diff