source.list
changeset 8768 4bcc90746175
parent 8765 0943455541b9
child 8769 b554c4996eb1
--- a/source.list	Fri Mar 28 16:31:26 2008 +0000
+++ b/source.list	Fri Mar 28 16:32:27 2008 +0000
@@ -131,6 +131,7 @@
 video/dedicated_v.h
 ai/default/default.h
 depot.h
+depot_type.h
 direction_func.h
 direction_type.h
 music/dmusic.h