diff options
author | Joris | 2017-04-04 23:40:54 +0200 |
---|---|---|
committer | Joris | 2017-04-04 23:42:42 +0200 |
commit | f6a73e5bd6a5e2d7d4eb9c8a14bdf1a0c8a4ac4c (patch) | |
tree | 184b0ef41ad60dcc9e5cc927604c031e0db81bbf /start | |
parent | 6228c242fda7b33bc919f2a74509314d1e671d4b (diff) |
Bootstrap purescript
Diffstat (limited to 'start')
-rwxr-xr-x | start | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -0,0 +1,2 @@ +#!/bin/sh +nix-shell --command "mux local" |