Skip to content

New settings file for docker-dev setup. Ref #219

Merge request reports