Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authoredA standard popup panel with checkboxes and links to GitHub and Zulip. The settings currently don't do anything.
Shachar Itzhaky authoredA standard popup panel with checkboxes and links to GitHub and Zulip. The settings currently don't do anything.