removed file that was committed into the repository by error
[rocksndiamonds.git] / .gitignore
2019-01-07 Holger Schemeladded some more automatically generated files to be...
2015-02-27 Holger Schemeladded .gitignore file