diff options
| author | Florian Diebold <[email protected]> | 2020-02-14 13:44:00 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-14 13:44:00 +0000 |
| commit | a324d066cb767876f9f3398f83db9f5a8dda8ce4 (patch) | |
| tree | e2b6b33ebf9445140549ae4f7f0b81dcc6a0855f /editors | |
| parent | a19f52f9ae1634fa2267c3bc7647a0d47b6014ac (diff) | |
Rename Ty::Param => Ty::Placeholder
This aligns more with Chalk.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions