dist « profiles - 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.

dist « profiles - 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/profiles/dist

blob: 403cde001c180b450e98ed7053f2d9195a65dc31 (plain)

1 2	`main extras/MonoDevelop.Database`