diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-18 11:14:33 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-18 11:14:33 +0100 |
commit | 84e3304a9bf0d68e30d58b1e37a6db2e9ec97525 (patch) | |
tree | a601f0c2fd13404a0118fa4592b54ff9ed578bd9 /.gitattributes | |
parent | 09489321454bad8552c180448ac185c7805d7b79 (diff) | |
parent | b49ecafd40f3dd6c9c55d14c392b8c10ce682b84 (diff) |
Merge #4027
4027: find_path: Builtins are always in scope r=matklad a=flodiebold
Fixes #3977.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions