From 7bb77f0421217de94cd7c96b4ffb87e1c0a296c0 Mon Sep 17 00:00:00 2001 From: Martin Blazik Date: Tue, 6 Oct 2020 21:17:51 +0200 Subject: [PATCH] fsi link --- bin/fsi | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 bin/fsi diff --git a/bin/fsi b/bin/fsi new file mode 100755 index 0000000..ce5d675 --- /dev/null +++ b/bin/fsi @@ -0,0 +1,4 @@ +#!/bin/bash + +dotnet fsi "$@" +