Subject: CVS commit: wip/cspchecker
From: Kamel Derouiche
Date: 2009-06-18 01:41:41
Message id: E1MH4lQ-0007WC-J5@ddv4jf1.ch3.sourceforge.com

Log Message:
Import cspchecker-4 as wip/cspchecker.

CSP code type checker


Files:
RevisionActionfile
1.1importwip/cspchecker/distinfo
1.1importwip/cspchecker/Makefile
1.1importwip/cspchecker/PLIST
1.1importwip/cspchecker/DESCR