comparison frontends/src/tools/xmlui.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 cbf3af02e941
children 5defafc8ede6
comparison
equal deleted inserted replaced
2165:a0fbb2b11fd0 2166:1b3fbb76984b