fixed a few element token names (previously set to 'char_unused')
[rocksndiamonds.git] / .gitignore
2019-01-07 Holger Schemeladded some more automatically generated files to be...
2015-02-27 Holger Schemeladded .gitignore file