Hi Collin, > Can these files be removed? > > $ find . -name '.cvsignore' > ./.cvsignore > ./doc/.cvsignore > ./lib/.cvsignore > ./m4/.cvsignore
Yes please. > Not sure if there was a reason for keeping them after moving to git. There was a CVS mirror of the git repository for a while, after we moved to git. But by now, it's surely dead (or irrelevant) for a long time. Bruno
