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:
authorVsevolod Kukol <sevoku@microsoft.com>2018-02-07 20:42:46 +0300
committerGitHub <noreply@github.com>2018-02-07 20:42:46 +0300
commit4daa08a2f8305b11dc944b512658aea0a59b5a34 (patch)
tree75b2974c2d06a48ea743b5be8b4db73f5ebb76d9 /main/build
parent973702462b652137212f4fae71e59d28236e8605 (diff)
parentf95ae696a301968c0681654beca6d24412f47fc1 (diff)
Merge pull request #3757 from mono/add-toggle-completion-mode-keys
[Ide] Add Toggle Completion Mode menu and keys
Diffstat (limited to 'main/build')
0 files changed, 0 insertions, 0 deletions