diff -r 68d5b57cf038 -r f525f7db2d90 rt/rt_lib --- 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