Added preference page for code mining (issue #491)

Merge request reports

Loading