diff src/tools/xml_tools.py @ 2166:1b3fbb76984b

core (memory/cache): escape profile when creating cache dir
author Goffi <goffi@goffi.org>
date Sun, 26 Feb 2017 18:20:27 +0100
parents 70f23bc7859b
children 5defafc8ede6
line wrap: on
line diff