diff sat/tools/xml_tools.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 a4774f5b6b17
children 987198910e56
line wrap: on
line diff