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

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

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

summary refs log tree commit diff

path: root/gendarme/gendarme.in

blob: 41fd3c9337be99fe29daf5094447fcf56cdb82ed (plain)

1 2	`#!/bin/sh exec @RUNTIME@ $MONO_EXTRA_ARGS @prefix@/lib/gendarme/gendarme.exe "$@"`