Merged configuration refactoring from 'dev_config' branch back into master (#1487311)
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jul 10 2013, 8:49 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:dee0aff85a7f: Avoid fatal errors if session support is missing; This shall be displayed in…
R3:bd2846930271: Simplified logic of finding non-existent but subscribed folders. Should be more… - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes