-
Benno Schulenberg authored
Some .rdf files are XML, but the .rdf extension seems to be used also for other things. So... use the 'header' mechanism.
a3102cd4
Some .rdf files are XML, but the .rdf extension seems to be used also for other things. So... use the 'header' mechanism.