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
path: root/main
diff options
context:
space:
mode:
authorLluis Sanchez <lluis@xamarin.com>2019-07-31 13:38:35 +0300
committerGitHub <noreply@github.com>2019-07-31 13:38:35 +0300
commitc51182794e9e06c8559f48af2666e8dd2d8ee1b5 (patch)
treee8a9f3059f9a43ceb4d0885e8d99111e5ac9a665 /main
parentc7aee29ba7d2a827dbfe4901e4ad7249ce7e5bc7 (diff)
parentcc905d17a3b6a1691c7bf8f41ad49c51c55ad529 (diff)
Merge pull request #8306 from mono/slluis-patch-bump
Update version.config
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions