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@xamarin.com>2016-02-16 12:41:08 +0300
committerVsevolod Kukol <sevoku@xamarin.com>2016-02-16 12:41:08 +0300
commitec21a54516f0bf460f77e271de6df4708f878782 (patch)
tree585bf5848f99d39c50230ef60b4aab4f6af56dc2 /top_level_monodevelop
parent02821e7c177d5952fb50492ecfca75fe4982e033 (diff)
[Ide][Completion] Optimize right side description size and position
Diffstat (limited to 'top_level_monodevelop')
0 files changed, 0 insertions, 0 deletions