]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - ggo/history_file.m4
Move gengetopt input files to m4 directory.
[paraslash.git] / ggo / history_file.m4
diff --git a/ggo/history_file.m4 b/ggo/history_file.m4
deleted file mode 100644 (file)
index 932d88b..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-<qu>
-option "history_file" -
-#~~~~~~~~~~~~~~~~~~~~~~
-"(default='</qu>DEFAULT_HISTORY_FILE<qu>')"
-string typestr = "filename"
-optional
-details = "
-       If </qu>CURRENT_PROGRAM<qu> runs in interactive mode, it reads the history
-       file on startup. Upon exit, the in-memory history is appended
-       to the history file.
-"
-</qu>