diff lib-src/pop.h @ 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 bfaacbee089a
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff