Display banner line when showing help.

This commit is contained in:
Dominik Pantůček 2023-04-19 23:00:50 +02:00
parent a0be706461
commit 642958ec6e

View file

@ -64,6 +64,8 @@
(command-line
print-help
(-h () "This help"
(print banner-line)
(newline)
(print "Command-line options:")
(newline)
(print-help)