diff zpt/info_xml.zpt @ 571:f1906951be2a

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