Philippe Gerum Thu, 19 Aug 2004 13:54:51 +0200
Get rid of obsolete __RTAI_HAL__ marker
Generated by cvsreport 0.3.5-cvs