diff MpdlXmlTextServer.py @ 571:f1906951be2a

nicer batching of tocs
author casties
date Fri, 12 Oct 2012 17:02:40 +0200
parents 61d53ccbdd70
children 51800c42bcda
line wrap: on
line diff