mac « 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.

mac « 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/mac

blob: bd7752a93d82730e6c442aecde53f8fa091e66ed (plain)

1
2
3

main --disable-update-mimedb --disable-update-desktopdb --disable-gnomeplatform --enable-macplatform --enable-tests
extras/MonoDevelop.Database
main/external/fsharpbinding/monodevelop --addins-dir=bin/local/Debug