diff etc/gdbinit @ 14506:6cc30975e262

maint: periodic merge of stable to default
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Wed, 28 Mar 2012 12:59:46 -0400
parents f0daeb0eab45
children 2c11d7c6cc21
line wrap: on
line diff