source.list
changeset 8083 ad22eade501f
parent 8016 1c7062ad5f50
child 8108 b42a0e5c67ef
--- a/source.list	Sun Dec 16 10:54:08 2007 +0000
+++ b/source.list	Sun Dec 16 15:38:51 2007 +0000
@@ -373,6 +373,7 @@
 tree_map.h
 tunnel_map.cpp
 tunnel_map.h
+tunnelbridge_map.h
 unmovable_map.h
 void_map.h
 water_map.h