comparison src/tools/sat_defer.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 2daf7b4c6756
children 8b37a62336c3
comparison
equal deleted inserted replaced
2092:5e79ba00c1e2 2093:cbf3af02e941