From 78d261be058860bc81afe5e90c693f8fb28a0141 Mon Sep 17 00:00:00 2001 From: Joris Date: Mon, 1 May 2017 20:09:45 +0200 Subject: Add fudge recipe --- dev | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 dev (limited to 'dev') 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" -- cgit v1.2.3