Move extension settings to a new tab#230
Merged
ruihildt merged 14 commits intomainfrom options-proxies-listAug 19, 2024
+519-351
Commits
Commits on Aug 19, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed