diff options
| author | Florian Diebold <[email protected]> | 2020-04-18 10:38:58 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-04-18 11:06:22 +0100 |
| commit | b49ecafd40f3dd6c9c55d14c392b8c10ce682b84 (patch) | |
| tree | a601f0c2fd13404a0118fa4592b54ff9ed578bd9 /.github | |
| parent | 09489321454bad8552c180448ac185c7805d7b79 (diff) | |
find_path: Builtins are always in scope
Fixes #3977.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions