diff etc/TUTORIAL.ru @ 66773:c5546b7db46b

(gdb): Make gud-pp use user-defined command pp1.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 09 Nov 2005 20:39:06 +0000
parents f05a048483cc
children e8a3fb527b77 2d92f5c9d6ae
line wrap: on
line diff