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-05-20 19:32:15 +0300
committerGitHub <noreply@github.com>2019-05-20 19:32:15 +0300
commit249c1092cf2a8264e6f0d1cbacd5f23b9a3b6dcc (patch)
treee8737b846f25fa19b15b71dd7937094cfd93c075 /scripts
parentd6f9bad822c0ccb978ac17cf29609d73da112e0c (diff)
parentc88c866b5c53ee64fd5fc74443d72f6a4885a106 (diff)
Merge pull request #7592 from mono/bump-c88c866monodevelop-8.0.7.3
Updated reference to xamarin/md-addins@e2fe31d
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions