diff options
| author | siikamiika <siikamiika@users.noreply.github.com> | 2020-03-21 22:29:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-21 22:29:07 +0200 |
| commit | 08d38d8db2c97ff9f016a6de640f645b609088d1 (patch) | |
| tree | 9060deb6f870e472c601b6cec050a2f60f62abca /ext/mixed/js/dom.js | |
| parent | 647769f2baae338f201690f21c4bf8983bcb10b0 (diff) | |
| parent | b616bac66ed0735c1e7ebbaf1ceba20b081f1a6f (diff) | |
Merge pull request #411 from siikamiika/apply-all-options-profile-change
apply all options on profile change
Diffstat (limited to 'ext/mixed/js/dom.js')
0 files changed, 0 insertions, 0 deletions