Skip to content

feat: add a setting to disable the loading spinner animation#561

Open
YnirPaz wants to merge 1 commit into
leanprover:masterfrom
YnirPaz:master
Open

feat: add a setting to disable the loading spinner animation#561
YnirPaz wants to merge 1 commit into
leanprover:masterfrom
YnirPaz:master

added spinner option

d37a89b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs