Dev/file loc config (!5) · Merge requests · tum-cps / Timor Python

Jonathan Külz requested to merge dev/file_loc_config into main Oct 10, 2022

Allows setting user-defined preferences for logging and file locations (e.g. to define where robot files are stored)

TODO: Allow to edit configs by the user

Admin message