diff options
author | Darius Jahandarie <djahandarie@gmail.com> | 2023-10-24 10:07:13 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-24 10:07:13 +0000 |
commit | d392c78fbafefeea8cbb64d9db2c369f2d509a82 (patch) | |
tree | 5212f13cff42e077027f6e93fe688ab4c35db520 /ext/images/clipboard.svg | |
parent | c3148c6cf0522c5a3b3f3db6e495f401050c73f7 (diff) | |
parent | 5bf81019882901fa6359bb7337ce538991ec9075 (diff) |
Merge pull request #284 from praschke/update-options-once
save options after updating them
Diffstat (limited to 'ext/images/clipboard.svg')
0 files changed, 0 insertions, 0 deletions