diff options
| author | weety <[email protected]> | 2018-09-05 10:14:15 +0800 |
|---|---|---|
| committer | weety <[email protected]> | 2018-09-05 10:14:15 +0800 |
| commit | 0f40dd6a576a4265ad81cddf681f6317838e340d (patch) | |
| tree | c3208779a3f020082492db87441409d8f4e75948 /documentation | |
| parent | ce54828eb0e52dc54450137105e0aa104dbcd511 (diff) | |
Check if the configuration file needs to be saved when the configuration exits.
Diffstat (limited to 'documentation')
0 files changed, 0 insertions, 0 deletions