Describe git-clone's actual behavior in the summary

diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh
index 06c42b042d999856aacb9e156cffc39eb8dbce3f..1de14ea82fe678e3afb66ea11d6dd6e306158387 100755 (executable)
--- a/generate-cmdlist.sh
+++ b/generate-cmdlist.sh
@@ -37,7 +37,6 @@ show
 show-branch
 status
 tag
-verify-tag
 EOF
 while read cmd
 do