Skip to content

Revert "Prettier use new extension"#3822

Merged
timotheeguerin merged 1 commit intomainfrom
revert-3599-prettier-new-ext
Jan 22, 2026
Merged

Revert "Prettier use new extension"#3822
timotheeguerin merged 1 commit intomainfrom
revert-3599-prettier-new-ext

Commits

Commits on Jan 22, 2026

Comments