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:
authorLluis Sanchez <llsan@microsoft.com>2019-09-13 20:17:47 +0300
committermonojenkins <jo.shields+jenkins@xamarin.com>2019-09-13 20:48:10 +0300
commit05133f08dc48ffd4b407ddb922d096c5c0267bd8 (patch)
treea8510e0dfea82bf10c8d3509320e94887aafbe87 /main/external/mono-addins
parentb72fb638248d220c1f6ad7a8b153616503fe0db6 (diff)
Bump mono-addins again
Diffstat (limited to 'main/external/mono-addins')
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 7e3cff2085964a6677517bb84f1590cb70052ab
+Subproject fc2fb5d53a69e64f2b8ba16c5f495d2a28de53a