diff sat_frontends/tools/misc.py @ 2998:a1b98772af6b

Backed out changeset cf0dda0d4cda check_output can't be used as it's waiting for command to return, blocking the edition.
author Goffi <goffi@goffi.org>
date Fri, 12 Jul 2019 09:04:45 +0200
parents 56f94936df1e
children 559a625a236b
line wrap: on
line diff