diff options
| author | Jonas Schievink <[email protected]> | 2021-05-23 15:28:23 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-05-23 15:28:23 +0100 |
| commit | 11825ac5fee8616ea7de2c80b5298978e7906bf1 (patch) | |
| tree | b21ff5fa69a61dcb16868bb21457a7b4117c22fb /editors | |
| parent | 064ff633f6055ed35022222c89af01d3f9943e3c (diff) | |
Explain why nested `TypeRef` aren't interned
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions