diff src/tools/config.py @ 1792:17c0364607be

tools (xml_tools): removed unused import
author Goffi <goffi@goffi.org>
date Wed, 13 Jan 2016 13:12:50 +0100
parents d17772b0fe22
children a123e881f9e5
line wrap: on
line diff