Removed .gitignore from the dev sub-diretories, so that it is not in the
repository.