removed fsproj-mode