diff options
| author | Jonas Schievink <[email protected]> | 2021-03-06 23:20:13 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-03-06 23:20:13 +0000 |
| commit | 6750c11df33868ffac07af4c8d4b050331663f5e (patch) | |
| tree | 296a5f2b2aff6f74eb3cc5db851d59bea5cc3889 /.gitignore | |
| parent | c44575b4857e2d97067afab7df1f98042aa591c4 (diff) | |
Rename a few `crate_def_map`s to `def_map`
These could all be block `DefMap`s instead of crate-level `DefMap`s
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions