Skip to content

Fix typo in setting name, and add settings.json ID for clarity#754

Open
samuela wants to merge 1 commit into
leanprover:masterfrom
samuela:patch-1
Open

Fix typo in setting name, and add settings.json ID for clarity#754
samuela wants to merge 1 commit into
leanprover:masterfrom
samuela:patch-1

Fix typo in setting name, and add settings.json ID for clarity

e92edcc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs