Garvin Hicking 8da2bdc422 We sadly need to remove $Id$ expansion, because with this CVS sync does not work and would update a file time and time again once modified in GIT		2011-12-25 01:05:26 +01:00
..
Dump.php	We sadly need to remove $Id$ expansion, because with this CVS sync does not work and would update a file time and time again once modified in GIT	2011-12-25 01:05:26 +01:00
Server.php	We sadly need to remove $Id$ expansion, because with this CVS sync does not work and would update a file time and time again once modified in GIT	2011-12-25 01:05:26 +01:00