diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-14 13:48:45 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-14 13:48:45 +0000 |
commit | d46b555e31d04feeb6310c52248bba7ff267c453 (patch) | |
tree | e2b6b33ebf9445140549ae4f7f0b81dcc6a0855f /editors/code/src/commands/on_enter.ts | |
parent | a19f52f9ae1634fa2267c3bc7647a0d47b6014ac (diff) | |
parent | a324d066cb767876f9f3398f83db9f5a8dda8ce4 (diff) |
Merge #3132
3132: Rename Ty::Param => Ty::Placeholder r=matklad a=flodiebold
This aligns more with Chalk.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/code/src/commands/on_enter.ts')
0 files changed, 0 insertions, 0 deletions