util/__init__.py
author Edouard Tisserant
Wed, 24 Jan 2018 14:48:49 +0100
changeset 1905 87c908079bc6
parent 742 41a4a560406c
permissions -rw-r--r--
Changed way to deal with extensions arguments (-e) so that path and filename are stored independently and accessible for extensions themselves.