diff -r 000000000000 -r e4d67989cc36 genericopenlibs/openenvcore/include/sys/times.dosc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/genericopenlibs/openenvcore/include/sys/times.dosc	Tue Feb 02 02:01:42 2010 +0200
@@ -0,0 +1,3 @@
+/** @file  ../include/sys/times.h
+@internalComponent
+*/