From f64b81fed9702c41af4cec14d91f38ce5ad3384e Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Tue, 24 Apr 2018 09:23:08 +0200
Subject: o Moving everything under slides.

---
 refresh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 refresh

(limited to 'refresh')

diff --git a/refresh b/refresh
deleted file mode 100755
index eb12cb1..0000000
--- a/refresh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-
-set -e
-
-file=$1
-key=$2
-value=$3
-
-if [[ -r $file ]]
-then
-  old=$(<"$file")
-fi
-
-if [[ $value != $old ]]
-then
-  echo $value > $file
-  echo Changed: $key
-fi
-- 
cgit v1.2.3