--- a/tools/unchanged	Thu Apr 26 11:46:36 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-#! /bin/bash
-
-file="${1?}"
-
-test -e "$file" || exit 0
-
-found=$(head -n -1 "$file" | sha1sum | cut -f1 -d' ')
-expected=$(tail -n 1 "$1" | cut -f2 -d" ")
-test "$found" = "$expected"