comparison frontends/src/tools/xmlui.py @ 2120:4d9aeae5d9d0

quick frontend (contact list): fixed cached key removal
author Goffi <goffi@goffi.org>
date Sun, 15 Jan 2017 16:00:40 +0100
parents cbf3af02e941
children 5defafc8ede6
comparison
equal deleted inserted replaced
2119:469702b46768 2120:4d9aeae5d9d0