Add a global config file, rename the user config#307

Merged

mdellweg merged 1 commit intopulp:developfrom mdellweg:refactor_settings

Jul 16, 2021

+31-18

Commits on Jul 16, 2021

Add a global config file, rename the user config
mdellweg
committed