Marble mine config file simplified.
Reduced foodstuff-to-stone conversion factor, increased mountainresource-to-marble factor for Empire marblemine.
rollback.
rollback.
Miner in an exhausted mine gains now experience with a small probability.
merged trunk/6934
Untested fix.
This fixes the 2nd part of the bug report, too.
Removed a minor previous-century programming gem.
Fix globbing in sound_handler.
merge Teppo's soundfix branch
Fixed compile error on Linux caused by last commit.
Fixed invalid assert.
Merged trunk/6945
More training in exhausted mines. See forum thread 1478 for details.