diff options
| author | Claude Paroz <claude@2xlibre.net> | 2014-04-12 15:31:37 +0200 |
|---|---|---|
| committer | Claude Paroz <claude@2xlibre.net> | 2014-04-12 15:33:22 +0200 |
| commit | 3417ba03094b644f01597d6b5a43ccbc71a55378 (patch) | |
| tree | 43f8768d735275cfad6337dfedf522d8d96699ca /docs/misc | |
| parent | 3e3a7372f58e005813dd1b9e61eb85a5e43c7173 (diff) | |
Also allowed a non-overridden setting to be deleted
Refs #20032, #18824. Thanks ztorstri at gmail.com for the report.
Diffstat (limited to 'docs/misc')
0 files changed, 0 insertions, 0 deletions