Add /options/license
and /options/gitignore
to .ignore
(#30219)
Ignore this folder in tools like `rg` or `ag`. Also sorted the entries alphabetically.
This commit is contained in:
parent
ff334749f5
commit
934fa46f76