1 files changed, 0 insertions, 12 deletions
diff --git a/support/gnome-argp.c b/support/gnome-argp.c
deleted file mode 100644
index 8f908628..00000000
--- a/support/gnome-argp.c
+++ /dev/null
@@ -1,12 +0,0 @@
-/* Gnome-specific code to help with argp integration.
-   Written by Tom Tromey <tromey@cygnus.com>.  */
-
-#include <config.h>
-
-#ifndef HAVE_PROGRAM_INVOCATION_SHORT_NAME
-char *program_invocation_short_name;
-#endif
-
-#ifndef HAVE_PROGRAM_INVOCATION_NAME
-char *program_invocation_name;
-#endif