comparison sat_frontends/jp/cmd_ping.py @ 3411:f30b238d9c45

jp: follow best practices and use a dash (`-`) instead of underscore (`_`) for long options.
author Goffi <goffi@goffi.org>
date Thu, 12 Nov 2020 14:53:16 +0100
parents 559a625a236b
children be6d91572633
comparison
equal deleted inserted replaced
3410:55f9a38864af 3411:f30b238d9c45