changed "random" default graphics animations to "random_static"
[rocksndiamonds.git] / levels / Tutorials /
2020-07-28 Holger Schemeladded tutorial level sets (those which are always part...