]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - m4/gengetopt/log_timing.m4
Convert para_server to lopsub.
[paraslash.git] / m4 / gengetopt / log_timing.m4
diff --git a/m4/gengetopt/log_timing.m4 b/m4/gengetopt/log_timing.m4
deleted file mode 100644 (file)
index ac0ea84..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-<qu>
-option "log-timing" T
-#~~~~~~~~~~~~~~~~~~~~
-"show milliseconds in log messages"
-flag off
-details = "
-       Selecting this option causes milliseconds to be included in
-       the log message output. This allows to measure the interval
-       between log messages in milliseconds which is useful for
-       identifying timing problems.
-"
-</qu>