Skip to content

Split settings in user settings and instance properties (fix #895)

Merge request reports