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