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-07-12 18:36:03 +0300
committerGitHub <noreply@github.com>2019-07-12 18:36:03 +0300
commite7cb5ab98845ed937de94df83e2818cb4671aa13 (patch)
tree4fd0b556b367a1580ad7b9468905c76115ac9375 /main/MonoDevelop.props
parent51826bddffac75f35c324edba2f39e2e5cfd7b66 (diff)
parent6485b7b4e0c6c13b26a4036b97b5ad960c5b602d (diff)
Merge pull request #8193 from mono/backport-pr-8191-to-release-8.2monodevelop-8.2.0.1090
[release-8.2] Bump fantomas
Diffstat (limited to 'main/MonoDevelop.props')
0 files changed, 0 insertions, 0 deletions