X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=m4%2Fgengetopt%2Fgui.m4;fp=m4%2Fgengetopt%2Fgui.m4;h=373416ce05b664f50fb7e28182ec539c1e7109bc;hp=a6b718ee958815fdadff3ff4cb7206626f46540b;hb=aa7b5a65bed03d62285102cefd11d67804d492cf;hpb=2b9f5ff978bcbbe0a101a4cdf4ca7f69f14a148d

diff --git a/m4/gengetopt/gui.m4 b/m4/gengetopt/gui.m4
index a6b718ee..373416ce 100644
--- a/m4/gengetopt/gui.m4
+++ b/m4/gengetopt/gui.m4
@@ -16,12 +16,6 @@ include(config_file.m4)
 include(loglevel.m4)
 
 <qu>
-option "timeout" t
-#~~~~~~~~~~~~~~~~~
-"set timeout"
-int typestr = "milliseconds"
-default = "30"
-optional
 
 option "theme" T
 #~~~~~~~~~~~~~~~