editorconfig: exclude docs/_built (#2776)

while not present unless built, they are never meant to be checked
This commit is contained in:
Jan-Niklas Burfeind 2023-02-01 00:57:04 +01:00 committed by GitHub
parent 9ac048dbdf
commit ee36d5a611
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
.ecrc Normal file
View File

@ -0,0 +1,3 @@
{
"Exclude": ["docs/_build"]
}