Revision 9124407df1b4edd714dd4428ae01471d0f538500

Committed on 04/02/2011 3:35 am by Felix Woldt <[email protected]> [GitHub Diff]

remove syntax-check.sh script