diff sat_frontends/jp/loops.py @ 3486:c9703067c700

jp: config section is now `cli` instead of `jp` following global renaming
author Goffi <goffi@goffi.org>
date Sun, 21 Mar 2021 18:16:09 +0100
parents be6d91572633
children 524856bd7b19
line wrap: on
line diff