From f6a73e5bd6a5e2d7d4eb9c8a14bdf1a0c8a4ac4c Mon Sep 17 00:00:00 2001 From: Joris Date: Tue, 4 Apr 2017 23:40:54 +0200 Subject: Bootstrap purescript --- start | 2 ++ 1 file changed, 2 insertions(+) create mode 100755 start (limited to 'start') diff --git a/start b/start new file mode 100755 index 0000000..4dbcbcc --- /dev/null +++ b/start @@ -0,0 +1,2 @@ +#!/bin/sh +nix-shell --command "mux local" -- cgit v1.2.3