tree 9777701d19949d5c297079c4be6f7ce0afbc2174
parent 79135ae58e40a2cb85a27afab6dd75d4fb1ff17f
author Radek Krejci <rkrejci@cesnet.cz> 1608284666 +0100
committer Radek Krejci <rkrejci@cesnet.cz> 1608284666 +0100

yanglint (ni) BUGFIX missing -p option in getopt's settings