util/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Wed, 26 Sep 2018 14:15:22 +0300
changeset 2345 a56362c818a3
parent 742 41a4a560406c
permissions -rw-r--r--
use the same font size on Windows and GNU/Linux