diff src/core/log.py @ 2093:cbf3af02e941

frontends(xmlui): better handling of missing _xmluiAppend
author Goffi <goffi@goffi.org>
date Sun, 18 Dec 2016 10:15:57 +0100
parents 7f053e1f0b67
children 7cbffd754b4a
line wrap: on
line diff