From 0b191f5c48edffc9da3e38c284e9640fd82e7cb1 Mon Sep 17 00:00:00 2001 From: Joris Date: Mon, 5 Jun 2017 18:02:13 +0200 Subject: Replace persistent by sqlite-simple --- build | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 build (limited to 'build') diff --git a/build b/build deleted file mode 100755 index 9e5cca5..0000000 --- a/build +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/sh -nix-shell --command "make clean install build" -- cgit v1.2.3