This repository was archived by the owner on Sep 8, 2025. It is now read-only.
Add a message when the widget is used on a non-idea resource page and…#382
Merged
LorenzoJokhan merged 1 commit intodevelopmentfrom Feb 13, 2023
Merged