diff options
author | Jonas Schievink <[email protected]> | 2021-05-24 14:35:46 +0100 |
---|---|---|
committer | Jonas Schievink <[email protected]> | 2021-05-24 14:35:46 +0100 |
commit | 533e9207d39c27dc22de2645fc65891189a71739 (patch) | |
tree | aeb89306e864bff3fc612d26ab6242a75b3e3885 /editors/code/src/toolchain.ts | |
parent | 8ebb8d29e18d7cb18bd2b57b004dcecd65a96232 (diff) |
Intern `GenericArgs`
This shaves off another ~4 mb or so
Diffstat (limited to 'editors/code/src/toolchain.ts')
0 files changed, 0 insertions, 0 deletions