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>2019-10-30 02:18:48 +0300
committerGitHub <noreply@github.com>2019-10-30 02:18:48 +0300
commit8e44d11cd9fcd97fab1516d3583f96c893faf651 (patch)
tree6d4a4a896e11d9c54f11e268af31ee6496e7aa9d /main/external
parentc06ff7293674f919dae30ad44a0b6b4aac3ced14 (diff)
parent6cef3c2aa354de010411e0461e77e12f68ef9994 (diff)
Merge pull request #8782 from mono/fix-935546
Fixes current alignment centering Extension and children to parent
Diffstat (limited to 'main/external')
m---------main/external/mono-addins0
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/mono-addins b/main/external/mono-addins
-Subproject 09ac97652bef24b2e043bc8fda7a024cf4dc7a4
+Subproject 124fd2d88fdabf54c378bdf5041584f9e06b681