diff options
| author | Jonas Schievink <[email protected]> | 2021-06-06 14:51:49 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-06-06 15:48:13 +0100 |
| commit | 1d5c60ff548c082a59eebda4bbaede99cec3cc4d (patch) | |
| tree | a8cb03b4e8afd7d499308bd9f4b387db90b353a3 /editors | |
| parent | d616a6a45697589a5fb4eeb4a30382322f8b8184 (diff) | |
Replace attribute with equivalent whitespace
This is needed to that the `TokenMap` we create contains offsets that
match the source.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions