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:
authorMikayla Hutchinson <m.j.hutchinson@gmail.com>2019-01-11 04:39:10 +0300
committerMikayla Hutchinson <m.j.hutchinson@gmail.com>2019-01-11 04:42:17 +0300
commit42c188fd72b80e349ba7b67a62dec82b049d6820 (patch)
treef395cbd661a5785cc356eef6dd865570a8412705 /main/external/mono-addins
parentf2a2be0502f7c8a2e6ea95eff38f7d2df7baf35d (diff)
Update mono-addins to fix build
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 74ce91a1ce523d95bf4ab1c81f3290855f2b772
+Subproject 23313c56c1fcf3104b4f475bbea7994ea94f4f3