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

script.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/script.in

blob: e68eb084cb30126e3903636eb1a94d2d7982a49e (plain)

1 2	`#!/bin/sh exec @bindir@/@mono_interp@ @mono_one_instdir@/@exe_file@ "$@"`