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:35:11 +0200 |
| commit | a6eda3a5fc524333b476deed5057ee9803d91108 (patch) | |
| tree | c0b477f8bc79209c32274845e8025b453d93d47a /docs/ref | |
| parent | d9f8cc12aeeb5309139a79d9b613fa405ebed36e (diff) | |
[1.7.x] Also allowed a non-overridden setting to be deleted
Refs #20032, #18824. Thanks ztorstri at gmail.com for the report.
Backport of 3417ba0309 from master.
Diffstat (limited to 'docs/ref')
0 files changed, 0 insertions, 0 deletions