aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorJonas Schievink <[email protected]>2021-05-23 15:28:23 +0100
committerJonas Schievink <[email protected]>2021-05-23 15:28:23 +0100
commit11825ac5fee8616ea7de2c80b5298978e7906bf1 (patch)
treeb21ff5fa69a61dcb16868bb21457a7b4117c22fb /editors
parent064ff633f6055ed35022222c89af01d3f9943e3c (diff)
Explain why nested `TypeRef` aren't interned
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions