]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - m4/gengetopt/gui.m4
gui: Remove --timeout.
[paraslash.git] / m4 / gengetopt / gui.m4
index a6b718ee958815fdadff3ff4cb7206626f46540b..373416ce05b664f50fb7e28182ec539c1e7109bc 100644 (file)
@@ -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
 #~~~~~~~~~~~~~~~