Skip to content

Elaborate on settings.ini usage and format#235

Merged
phillipberndt merged 1 commit intophillipberndt:masterfrom kneitinger:clarify_settings_ini_docsDec 16, 2021

Commits

Commits on Dec 9, 2020