diff src/tools/xml_tools.py @ 1833:a123e881f9e5

core (config): _dict values are now handled with json syntax
author Goffi <goffi@goffi.org>
date Sat, 23 Jan 2016 20:06:01 +0100
parents c271087d2020
children 29564cec913f
line wrap: on
line diff