Skip to content

No Auto Indentation for Mercury(-Web)#327

Merged
munshkr merged 4 commits intomunshkr:mainfrom tmhglnd:indent-settingJan 10, 2025

Commits

Commits on Jan 9, 2025