diff sat_frontends/jp/arg_tools.py @ 3707:cca538f795de

changelog: minor update following renaming
author Goffi <goffi@goffi.org>
date Fri, 12 Nov 2021 17:16:40 +0100
parents be6d91572633
children 4b842c1fb686
line wrap: on
line diff