Build #38 (Apr 4, 2019 11:11:57 AM)

1. Update settings.md (detail)

Started by GitLab push by Sebastian Müller

• origin/master