+2007-10-20
+ * merged override and auto-override options into new override options
+ with a new data type than can take the values "no", "yes" and "auto"
+
+2007-10-18
+ * fixed growing steel wall to also leave behind steel wall instead of
+ normal, destructible wall
+ * fixed handling of rocks falling through stacks of quicksand with
+ different speed (before, the rocks just got stuck in the quicksand)
+
2007-10-09
* fixed nasty bug with auto-override and normal override not working on
program startup (especially when current level set has custom artwork)