Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Maintenance: Clean up some stuff around settings#2685

Merged
turt2live merged 7 commits intodevelopfrom travis/settings-cleanup-1Feb 25, 2019