diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-08 15:46:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-08 15:46:13 +0200 |
| commit | c2edaa97f3336e9d6660302b3e30fd921bf20fcc (patch) | |
| tree | 9e16d1b04860a3c5f7723818de2f1ec378cda292 /editor | |
| parent | 2078dcbe15e7b1a25bc06b0834a007d63c7ccd01 (diff) | |
| parent | 54cba54a45fd3d9fbe30f3c8100d7890d7586b82 (diff) | |
Merge pull request #32426 from gianllucah/master
Option to erase a section key in ConfigFile
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions