diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-19 14:25:33 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-19 14:25:33 +0000 |
commit | df3652b663dbeb19d7353e6e789024951a0589af (patch) | |
tree | a654c79e11f98970fa8374cf3e8305d401ce684f /.gitattributes | |
parent | e9440f598d7ad3758594d4c5ab44f467395170c5 (diff) | |
parent | 218e88ab552086754818e56e488e26d5ad60ea52 (diff) |
Merge #6948
6948: Add API for mapping `Attr` back to its syntax node r=jonas-schievink a=jonas-schievink
This will be useful for emitting diagnostics pertaining to a specific attribute
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions