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