diff make-dist @ 47398:e813511ab632

(gud-gdb-massage-args): Don't secretly add -fullname. (gud-query-cmdline): Add --fullname to the user cmdline.
author Simon Josefsson <jas@extundo.com>
date Wed, 11 Sep 2002 05:07:25 +0000
parents f526d32944b1
children 23a1cea22d13
line wrap: on
line diff