fixed bug with events defined to start and stop global animations
[rocksndiamonds.git] / levels / Tutorials / levelinfo.conf
2020-07-28 Holger Schemeladded tutorial level sets (those which are always part...