Markus Hennecke 75b8cf73ac Make sure no tag is set when checking out HEAD 6 éve
..
Makefile a8197bf9ba Cleanup after cvs to git conversion 8 éve
cvsupdate.sh 75b8cf73ac Make sure no tag is set when checking out HEAD 6 éve
remove-empty-cvslogs.sh a8197bf9ba Cleanup after cvs to git conversion 8 éve