make headers public.
authorMathieu Lacage <mathieu.lacage@sophia.inria.fr>
Thu, 07 Feb 2008 23:57:07 +0100
changeset 2389 298b5d2b6fa7
parent 2388 073c864796ec
child 2390 7e6dfae536cd
make headers public.
src/core/wscript
--- a/src/core/wscript	Thu Feb 07 23:56:03 2008 +0100
+++ b/src/core/wscript	Thu Feb 07 23:57:07 2008 +0100
@@ -106,5 +106,9 @@
         'type-id-default-value.h',
         'value.h',
         'param-spec-helper.h',
+        'int-value.h',
+        'uint-value.h',
+        'fp-value.h',
+        'enum-value.h',
         ]