diff frontends/src/tools/xmlui.py @ 2415:59100136f07a

plugin XEP-0277: minor id generation change
author Goffi <goffi@goffi.org>
date Sat, 04 Nov 2017 22:10:01 +0100
parents 8b37a62336c3
children 69f979adb1d7
line wrap: on
line diff