MonoDevelop-tools.xml « options « MonoDevelop.Ide « core « src « main - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

Welcome to mirror list, hosted at ThFree Co, Russian Federation.

MonoDevelop-tools.xml « options « MonoDevelop.Ide « core « src « main - github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/monodevelop.git

Unnamed repository; edit this file 'description' to name the repository.

www-data

summary refs log tree commit diff

path: root/main/src/core/MonoDevelop.Ide/options/MonoDevelop-tools.xml

blob: 3566a244d4542b8acfdbc1c98af626bf650dabc7 (plain)

1	`<TOOLS VERSION="1" />`