diff sat_frontends/jp/cmd_identity.py @ 3246:5ba0b1cdd45b

tools (common/files_utils): put extra suffix before file extension
author Goffi <goffi@goffi.org>
date Wed, 01 Apr 2020 22:29:43 +0200
parents 559a625a236b
children 6cf4bd6972c2
line wrap: on
line diff