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

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