diff src/tools/sat_defer.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 2daf7b4c6756
line wrap: on
line diff