diff options
| author | Geert-Jan Zwiers <34610306+GJZwiers@users.noreply.github.com> | 2022-03-11 02:14:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-11 02:14:32 +0100 |
| commit | 8db3a9546b59fdd5e7203f2e63a828e3c5108e7e (patch) | |
| tree | 2b3e91d39f7891c69c16d7b62ea6c6f9969a3fb2 /cli/tools/task.rs | |
| parent | 38e88e32b79cf9605b57751802aef1ebff924d98 (diff) | |
fix(test): skip typechecking for blocks inside HTML comments (#13889)
Diffstat (limited to 'cli/tools/task.rs')
0 files changed, 0 insertions, 0 deletions