annotate sat/stdui/__init__.py @ 3058:0408df45ebe7

plugin OTR: work around a bad exception raised in potr
author Goffi <goffi@goffi.org>
date Wed, 16 Oct 2019 08:39:52 +0200
parents 26edcf3a30eb
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source