fixed cryptic default player name on Android; instead using "anonymous" now
[rocksndiamonds.git] / src / header.tmpl
2015-03-02 Holger Schemeladded source header template file