diff options
author | Braden Kelley <redbmk@gmail.com> | 2024-06-20 16:19:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-06-21 08:19:55 +0900 |
commit | 0cd64c87bf72f9237eedb9bdc9739411be9120cb (patch) | |
tree | bb498effac76da44f24a870ee2a23a9a36724878 /ale_linters/mercury | |
parent | c7c41e157478fc9d4f65e9f640bfce75fa211fd7 (diff) | |
download | ale-0cd64c87bf72f9237eedb9bdc9739411be9120cb.zip |
fix(biome): use temp file instead of stdin (#4775)
biome handles utf8 characters differently between files and stdin, and
in some cases can replace emojis with ascii characters when using stdin
refs: biomejs/biome#2604
Diffstat (limited to 'ale_linters/mercury')
0 files changed, 0 insertions, 0 deletions