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:
authorAaron Bockover <abock@microsoft.com>2019-04-08 22:21:38 +0300
committerGitHub <noreply@github.com>2019-04-08 22:21:38 +0300
commit38b86782631f117fdc3dbffde5738c5f58687377 (patch)
tree8dc5a6bcf408b133d8a2407055bb16e2548089e3 /main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs
parent5193c6df368aafae62674fd1973be939f7e44c2b (diff)
parent74afa7f36daa6b3e226eae870900fc5312297a36 (diff)
Merge pull request #531 from xamarin/pr-anvod-editor-default
Changing Configuration To Set New Editor As Default
Diffstat (limited to 'main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs')
0 files changed, 0 insertions, 0 deletions