launch.bat « fsharpbinding « external « 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.

launch.bat « fsharpbinding « external « 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/external/fsharpbinding/launch.bat

blob: c6b7b6ca95d93c0b66b04414bd0b3dd6cda84042 (plain)

SETLOCAL
SET MONODEVELOP_DEV_ADDINS=%~dp0bin
CD ..\..\build
CALL bin\MonoDevelop.exe --no-redirect