fixing 1753
authorChristian Grothoff <christian@grothoff.org>
Wed, 14 Sep 2011 07:24:03 +0000 (07:24 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 14 Sep 2011 07:24:03 +0000 (07:24 +0000)
commit835725330346ef46ffcf29caa9a1798a23887309
tree8a48fd1c24fe89f9a9ae20f291252219a398f79a
parent4fd99b89748c6e3b1f5a7b46a3c1597106c2d172
fixing 1753
src/util/getopt_helpers.c
src/util/program.c