gitignore: ignore settings.local.json at any depth#60

keithharvey wants to merge 1 commit into

beyond-all-reason:masterbeyond-all-reason/BAR-Devtools:masterfrom

keithharvey:gitignore-settings-localkeithharvey/BAR-Devtools:gitignore-settings-localCopy head branch name to clipboard