diff options
| author | Aleksey Kladov <[email protected]> | 2020-08-13 15:35:29 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-08-13 15:35:29 +0100 |
| commit | 6a77ec7bbe6ddbf663dce9529d11d1bb56c5489a (patch) | |
| tree | b6e3d7e0109eb82bca75b5ebc35a7d723542b8dd /docs/dev/guide.md | |
| parent | 50f8c1ebf23f634b68529603a917e3feeda457fa (diff) | |
Rename ra_hir_ty -> hir_ty
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions