scripts - 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.

scripts - 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/scripts

Mode	Name	Size
-rw-r--r--	configure.bat	149	log plain
-rw-r--r--	configure.cs	11492	log plain
-rwxr-xr-x	configure.sh	202	log plain