comparison sat/tools/sat_defer.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 7550ae9cfbac
children 524856bd7b19
comparison
equal deleted inserted replaced
3485:7b888a488474 3486:c9703067c700