version number set to 4.1.3.1
[rocksndiamonds.git] / .gitignore
2019-01-07 Holger Schemeladded some more automatically generated files to be...
2015-02-27 Holger Schemeladded .gitignore file