diff sat_frontends/jp/loops.py @ 3255:012e89fb2dd1

jp (roster): new roster/set command
author Goffi <goffi@goffi.org>
date Tue, 14 Apr 2020 21:01:04 +0200
parents 9d0df638c8b4
children be6d91572633
line wrap: on
line diff