Skip to content

Change tool name from dotnet-fsharplint to fsharplint#778

Open
webwarrior-ws wants to merge 3 commits intofsprojects:masterfrom
webwarrior-ws:tool-name
Open

Change tool name from dotnet-fsharplint to fsharplint#778
webwarrior-ws wants to merge 3 commits intofsprojects:masterfrom
webwarrior-ws:tool-name

Commits

Commits on Dec 31, 2025