diff src/.gdbinit @ 82704:dba06cee55fd

Move tutorials from etc/ to etc/tutorials/
author Glenn Morris <rgm@gnu.org>
date Wed, 22 Aug 2007 07:37:58 +0000
parents 922696f363b0
children a3528f09f3e9 65663fcd2caa f55f9811f5d7
line wrap: on
line diff