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:
authorGreg Munn <gregm@microsoft.com>2019-12-06 18:35:11 +0300
committerGitHub <noreply@github.com>2019-12-06 18:35:11 +0300
commit3020f4ea4ddc872ae146b398567ef1d1ef95dda1 (patch)
tree43929dda269f5bb9d065eb41e00b55a0a0b3f6b6
parenta2e0f36088b1137ab6bb43cac760cb9e022fad43 (diff)
parent241b4c1da119a9b4c266a3b79d7b5d70d431f018 (diff)
Merge pull request #9444 from mono/bump-241b4c1
Updated reference to xamarin/Xamarin.PropertyEditing@217cd27
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 70e8074aa62c2030cd60c68f963beb62abc2a5b
+Subproject 217cd27f4b95371a9edc6b4c2bb41f9b616a7eb