]> git.tuebingen.mpg.de Git - adu.git/blobdiff - adu.ggo
Move --no-user-summary to select.ggo.
[adu.git] / adu.ggo
diff --git a/adu.ggo b/adu.ggo
index dae8737a4036d5ee19fcc2f2fb39425bb47e5c7c..4d52f8263e5094a27cd5b026f3be8756b18b2014 100644 (file)
--- a/adu.ggo
+++ b/adu.ggo
@@ -215,9 +215,3 @@ details="
        controls which of the these should be printed.
 "
 
-option "no-user-summary" -
-#~~~~~~~~~~~~~~~~~~~~~~~~~~~
-"do not print the user summary table"
-flag off
-dependon="select"
-