diff options
| author | Mikaël Capelle <capelle.mikael@gmail.com> | 2021-01-13 12:31:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-13 12:31:53 +0100 |
| commit | 242125fdef3cb760b5b4fcacaedbcd81b13d3701 (patch) | |
| tree | 744c410643cc367d1169cb947b355574fb8649cd /src/shared/error_report.cpp | |
| parent | 8338ea6ff42fcbc8b2475b8504d98e02b11a7d75 (diff) | |
| parent | 33a49ef51c9fd401a1eeba47c42e56ad06b32d2b (diff) | |
Merge pull request #1359 from Holt59/fix-pluginlist-edit
Write plugin list after edit.
Diffstat (limited to 'src/shared/error_report.cpp')
0 files changed, 0 insertions, 0 deletions