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-08-06 11:58:22 +0300
committerGitHub <noreply@github.com>2019-08-06 11:58:22 +0300
commit3e9f20c34e9ef5f5cdd7369701492e218719dbf3 (patch)
treeaf178aa2df75db12d4ae5bd7947e04bcea18e93c /main
parentd2ffd09000c5d24a206b715b63d409e8e965689a (diff)
parent69cc6978c7b158ab78e00a53276de4f7de5c9d75 (diff)
Merge pull request #8341 from mono/bump-version
Bump version
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions