Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornosami <jasonimison@gmail.com>2018-04-12 14:26:54 +0300
committernosami <jasonimison@gmail.com>2018-04-12 14:26:54 +0300
commit7cdc249aa3f2b752aeefbe10f859b0240c0084ad (patch)
tree45f48450537999713f79a2e67540f62bdc783a47 /.editorconfig
parent4b6809430eee2f2345eae595a46e971a63f35333 (diff)
Add F# settings as editorconfig overrides IDE settings
Fixes VSTS #598535 (#4512)
Diffstat (limited to '.editorconfig')
-rw-r--r--.editorconfig5
1 files changed, 5 insertions, 0 deletions
diff --git a/.editorconfig b/.editorconfig
index 7eca4c796d..efd67fd4bd 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -25,6 +25,11 @@ indent_size = 2
indent_style = space
indent_size = 2
+# F# files
+[*.{fs, fsx, fsi}]
+indent_style = space
+indent_size = 4
+
# Dotnet code style settings:
[*.{cs,vb}]