diff options
| author | Mahdi Dibaiee <mdibaiee@pm.me> | 2023-07-11 22:35:29 +0100 |
|---|---|---|
| committer | Mahdi Dibaiee <mdibaiee@pm.me> | 2023-07-14 13:27:35 +0100 |
| commit | fdb2e363d33e04aa306041e2c084e13c6ce489e1 (patch) | |
| tree | cb31ee729e17f74f6a8b3617c60e419937c07ffb /.github/workflows | |
| parent | 660ef4ffe8d58ba236555f7c191334b82ce5025f (diff) | |
refactor(rustc_middle): Substs -> GenericArg
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions