Standard filenames for campaign background images
Merged trunk
Merged trunk
Remove deprecated indentation checker
fix of the bug
assert used
space added
Removes duply deprecated script.
Uniform background images.
Shut up static code checker.