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 /.github/actions/github-release | |
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 '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions