diff options
author | Joris | 2017-05-01 20:09:45 +0200 |
---|---|---|
committer | Joris | 2017-05-01 20:09:45 +0200 |
commit | 78d261be058860bc81afe5e90c693f8fb28a0141 (patch) | |
tree | 6839ed81455eda09ad0f763ea2ffe1ff961f3723 /dev | |
parent | 063539add1c4f1f27f89f4599169035e45f59933 (diff) |
Add fudge recipe
Diffstat (limited to 'dev')
-rwxr-xr-x | dev | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,2 +0,0 @@ -#!/bin/sh -nix-shell --command "mux local" |