diff options
author | Florian Diebold <[email protected]> | 2020-05-29 16:35:57 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-05-29 16:36:43 +0100 |
commit | 6f67a46a6a264ac7985a10ee19fbf9bbaef924bc (patch) | |
tree | 579439709de055f029c109f6679887416bf4e1f9 /editors/code/src/util.ts | |
parent | 30658b25d2bb00ec495e0f3396de772141482081 (diff) |
Fix match ergonomics in closure parameters
Fixes #4476.
Diffstat (limited to 'editors/code/src/util.ts')
0 files changed, 0 insertions, 0 deletions