From fa380f4d1d3ab9430c1b529e086e3757ff65c93a Mon Sep 17 00:00:00 2001
From: Joris
Date: Thu, 16 May 2019 09:37:02 +0200
Subject: Minor modification

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

(limited to 'dev')

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