Skip to content

Remove option to log to file and polish a bit#5

Merged
jherbel merged 1 commit intomainfrom dev/joerg/remove_log_pathMay 13, 2024
+14-34

Commits

Commits on May 10, 2024