David Steele bec52b6f41 Allow if in manifest variables. ... The code supported this feature but the manifest DTD did now allow it.		2019-01-24 11:11:12 +02:00
..
doc.dtd	Modify general document elements to allow any child element.	2018-12-31 09:19:38 +02:00
manifest.dtd	Allow if in manifest variables.	2019-01-24 11:11:12 +02:00