Skip to content

fix: add robot filetype and sort extensions#535

Closed
mike325 wants to merge 1 commit intopre-commit:mainfrom
mike325:fix/add_robot
Closed

fix: add robot filetype and sort extensions#535
mike325 wants to merge 1 commit intopre-commit:mainfrom
mike325:fix/add_robot

Commits

Commits on Aug 22, 2025