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 <lluis@xamarin.com>2019-10-28 20:58:23 +0300
committerGitHub <noreply@github.com>2019-10-28 20:58:23 +0300
commita3fef7ee5c47ec188597daf9290b2039cddd2ed3 (patch)
tree57d02011d319638ddc8fe125dd72963a8a7ef59f /configure
parent42cc4ee0d11ac8fafcf4695660719f5fc37f7804 (diff)
parent5dae47382439002bfead4d515eb287703dda7fde (diff)
Merge pull request #9125 from mono/slluis-patch-1
Update version.config
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions