From 8bad424d1fac72c95b7bc89a70c0682f20b62bd2 Mon Sep 17 00:00:00 2001
From: curt <curt>
Date: Tue, 16 Sep 2003 16:22:53 +0000
Subject: [PATCH] Add a quick alias for Lava ground cover type.

---
 materials.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/materials.xml b/materials.xml
index b572116d1..1ba56be4c 100644
--- a/materials.xml
+++ b/materials.xml
@@ -1000,6 +1000,7 @@ Shared parameters for various materials.
 
 <material>
  <name>BarrenCover</name>
+ <name>Lava</name>
  <texture>Terrain/rock.rgb</texture>
  <xsize>500</xsize>
  <ysize>500</ysize>