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:
authorJose Medrano <josmed@microsoft.com>2019-11-12 13:10:07 +0300
committermonojenkins <jo.shields+jenkins@xamarin.com>2019-11-13 14:30:38 +0300
commiteb7b3288b10078a6fc29b2704784ea919e8db916 (patch)
tree06ac68888fab56ca5ab59434ed9d487c3675871d /main/external
parent3edf85abb2be33327edc12873d6ee6f6270aefb5 (diff)
bumps propperty editing
Diffstat (limited to 'main/external')
m---------main/external/Xamarin.PropertyEditing0
1 files changed, 0 insertions, 0 deletions
diff --git a/main/external/Xamarin.PropertyEditing b/main/external/Xamarin.PropertyEditing
-Subproject 8790fdf0dad435fae13a3a3e79e0a066e83c794
+Subproject 70e8074aa62c2030cd60c68f963beb62abc2a5b