csi.in « scripts - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

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

csi.in « scripts - github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.

index : github.com/mono/mono.git

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

www-data

summary refs log tree commit diff

path: root/scripts/csi.in

blob: 4d5026fcc5fb2158fe4fe9c37742355452a745b6 (plain)

1 2	`#!/bin/sh exec @bindir@/mono --gc-params=nursery-size=64m $MONO_OPTIONS @mono_instdir@/4.5/csi.exe "$@"`