util/__init__.py
author Edouard Tisserant
Wed, 05 Dec 2018 13:04:37 +0100
changeset 2466 98d28d809488
parent 742 41a4a560406c
permissions -rw-r--r--
Fixed Discovery panel in URI Editor dialog : double click works back again, and avoid setting URI to unicode type.