util/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Wed, 09 Aug 2017 14:11:20 +0300
changeset 1723 e0cefb1d5206
parent 742 41a4a560406c
permissions -rw-r--r--
build missing pot files, when building HTML documentation