aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorJoris2017-06-05 18:02:13 +0200
committerJoris2017-06-05 18:02:13 +0200
commit0b191f5c48edffc9da3e38c284e9640fd82e7cb1 (patch)
treec729e53822e7c41c1a854d82d25636e58ee65c9f /dev
parent5c110716cfda6e616a795edd12f2012b132dca9f (diff)
Replace persistent by sqlite-simple
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"