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