From ec1ebe1f97626b3e5779f38a5957976a9f808626 Mon Sep 17 00:00:00 2001
From: Joris
Date: Sun, 5 Mar 2017 16:11:37 +0100
Subject: Use webfs instead of python server

---
 dev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev b/dev
index d268ec2..7334dfe 100755
--- a/dev
+++ b/dev
@@ -1,2 +1,2 @@
 #!/bin/sh
-nix-shell --command "SHELL=$SHELL tmuxinator local"
+nix-shell --command "SHELL=$SHELL mux local"
-- 
cgit v1.2.3