Marc Alexander 802afeb525 Modified file headers for git ...

Corrected wrong file headers
Adjusted version info in install.xml

2011-03-03 21:47:14 +01:00

..

board3_portal_check_version.php

Modified file headers for git

2011-03-03 21:47:14 +01:00