koch: print help if no command is given (#18199)

This commit is contained in:
Federico Ceratto 2021-06-07 10:44:43 +01:00 • committed by GitHub
commit 2ec52faae5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -708,4 +708,5 @@ when isMainModule:
of "branchdone": branchDone()
else: showHelp(success = false)
break
of cmdEnd: break
of cmdEnd:
showHelp(success = false)