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:
authorMarius Ungureanu <marius.ungureanu@xamarin.com>2020-01-15 16:48:59 +0300
committerGitHub <noreply@github.com>2020-01-15 16:48:59 +0300
commit7943dd66c4b3e3490932ad552e6265f2d41ac055 (patch)
treef80636945feb9486c49b8199957657bbfad8e04a /.gitignore
parent497c1f6b7c216fefbce50bd562bc67a368369aba (diff)
Simplify SearchCategory tags (#9490)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions