fixed removing same player in level editor when drawing new player
[rocksndiamonds.git] / .gitignore
2019-01-07 Holger Schemeladded some more automatically generated files to be...
2015-02-27 Holger Schemeladded .gitignore file