aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorJoris2017-05-01 20:09:45 +0200
committerJoris2017-05-01 20:09:45 +0200
commit78d261be058860bc81afe5e90c693f8fb28a0141 (patch)
tree6839ed81455eda09ad0f763ea2ffe1ff961f3723 /dev
parent063539add1c4f1f27f89f4599169035e45f59933 (diff)
Add fudge recipe
Diffstat (limited to 'dev')
-rwxr-xr-xdev2
1 files changed, 0 insertions, 2 deletions
diff --git a/dev b/dev
deleted file mode 100755
index 4dbcbcc..0000000
--- a/dev
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-nix-shell --command "mux local"