Fix a brush that mysteriously got deleted

diff --git a/maps/red-planet.map b/maps/red-planet.map
index 32f940914e532790c23cd539770af6e5dd8dd359..e9325ed8d8043f85d3d6297e2841c19ac6852020 100644 (file)
--- a/maps/red-planet.map
+++ b/maps/red-planet.map
@@ -125876,3 +125876,15 @@ trak5x/base-pipe1a
 "target" "n_cp2"
 "target2" "b_cp2"
 }
+{
+"classname" "func_wall"
+"gametypefilter" "+ctf,ons"
+{
+( -1504 -960 192 ) ( -1376 -928 192 ) ( -1376 -960 192 ) common/caulk 0 64 -90 0.25 -0.25 134217728 0 0
+( -1376 -944 160 ) ( -1504 -944 208 ) ( -1376 -944 208 ) common/caulk -0 64 0 0.25 0.25 134217728 0 0
+( -1376 -928 208 ) ( -1376 -960 160 ) ( -1376 -960 208 ) common/caulk 0 64 0 -0.25 0.25 134217728 0 0
+( -1504 -960 176 ) ( -1376 -928 176 ) ( -1504 -928 176 ) common/caulk -0 0 0 0.25 -0.25 134217728 0 0
+( -1376 -928 160 ) ( -1504 -928 208 ) ( -1504 -928 160 ) exx/floor-wrn01-red 384 64 0 0.25 0.25 134217728 0 0
+( -1504 -928 208 ) ( -1504 -960 160 ) ( -1504 -928 160 ) common/caulk 0 64 0 -0.25 0.25 134217728 0 0
+}
+}