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