Philippe Gerum Sun, 25 Jul 2004 17:21:53 +0200
Add rtai-lab INSTALL to EXTRA_DIST files
Generated by cvsreport 0.3.5-cvs