diff options
author | David Sherret <dsherret@users.noreply.github.com> | 2024-03-15 13:27:52 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-15 17:27:52 +0000 |
commit | 392579b5a673964752e38e1e0d9c2c9ae223a382 (patch) | |
tree | 895345b9ace697d687bad2519896c39e97ce9f4d /cli/tools/coverage/mod.rs | |
parent | ce768bac834c1efebf2663b01f6e46db99329631 (diff) |
chore(specs): use jsonc for metadata file (#22946)
Avoids the comment diagnostic that vscode gives. Also, automatically
renames .json to .jsonc for the time being.
Diffstat (limited to 'cli/tools/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions