Replaced old materials file with materials.xml, using the regular
authordavid <david>
Fri, 28 Dec 2001 22:37:57 +0000 (22:37 +0000)
committerdavid <david>
Fri, 28 Dec 2001 22:37:57 +0000 (22:37 +0000)
commit253bfa373c3c0bf25b062e6b126ce759e505c330
tree1dc817127afc9d8f7e24e703b7802bec747eae17
parent909c69863722a38cefc9223c4130a9358e9d149b
Replaced old materials file with materials.xml, using the regular
property-file format.  This new format will simplify extensions later
on (including crash detection on forest and water surfaces, etc.).
There is also a DTD file for anyone with an XML editor.
materials [deleted file]
materials.dtd [new file with mode: 0644]
materials.xml [new file with mode: 0644]