source.list
changeset 8433 9bbc38806eeb
parent 8431 68fb2ccbce06
child 8435 38a1ab65d6e4
--- a/source.list	Wed Nov 21 19:18:34 2007 +0000
+++ b/source.list	Thu Nov 22 18:01:51 2007 +0000
@@ -108,6 +108,7 @@
 cargotype.h
 command.h
 console.h
+core/math_func.hpp
 core/random_func.hpp
 currency.h
 date.h