Keep unknown/plugin config options; only skip officially obsoleted ones
Description
Description
Details
Details
- Provenance
Thomas Bruederli Authored on Jul 17 2013, 7:23 PM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:a7fa90f3d314: Merge pull request #64 from Steffen185/patch-2
- Branches
- Unknown
- Tags