diff -r b216eccfb77a -r ff7fbab7cd56 hedgewars/options.inc