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