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>2017-05-02 19:28:45 +0300
committerMikayla Hutchinson <m.j.hutchinson@gmail.com>2017-05-03 22:09:05 +0300
commitf4fadc0b1b180e3e41b17e910d270d8869ace491 (patch)
tree29953a1f0f6198f2b30ff8b7bb992dd09b4c74c0 /main/external/mono-addins
parentcb5ec6daa085f2c7d364e7a6d0c769ca8fcf58cc (diff)
Update mono-addins to fix conditions bug
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 4f77823a0f3cce3989f79fbc1bf962c81dc485b
+Subproject 925f835acdcec8e830a722367b563506370bc49