Added preference page for code mining (issue #491)

Merged Miklos Magyari requested to merge cmpage into master

Merge request reports