comparison sat_frontends/tools/xmlui.py @ 3618:7f503b20597e

jp (pubsub/cache/purge): fix conflict with `subtype` short option
author Goffi <goffi@goffi.org>
date Mon, 02 Aug 2021 21:52:17 +0200
parents be6d91572633
children 524856bd7b19
comparison
equal deleted inserted replaced
3617:766729ac4146 3618:7f503b20597e