rt/rt_lib
changeset 45 f525f7db2d90
parent 44 68d5b57cf038
child 46 f2d7a73d2f32
--- a/rt/rt_lib	Thu Jan 05 14:13:34 2006 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-../../../linux/kernel_space/rt_lib-4.0.0-2.6krnl
\ No newline at end of file