diff options
| author | Florian Diebold <[email protected]> | 2019-12-01 21:14:28 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-02 18:33:13 +0000 |
| commit | 456d52fdfa8525af2a54e76ee5300f0a40ef582a (patch) | |
| tree | e8cd093624ac3ccc9926856dc8db0d4daa0d0b8a /editors/code/src/highlighting.ts | |
| parent | 599dab59824b164b1c24e2e51adeae1ac1307964 (diff) | |
Check receiver type properly
Diffstat (limited to 'editors/code/src/highlighting.ts')
0 files changed, 0 insertions, 0 deletions