diff sat_frontends/jp/common.py @ 3997:1b7c6ee080b9

core (log): type hints
author Goffi <goffi@goffi.org>
date Sat, 04 Mar 2023 18:23:33 +0100
parents 742e466fa000
children 524856bd7b19
line wrap: on
line diff