1 files changed, 0 insertions, 14 deletions
diff --git a/flags.sh b/flags.sh
deleted file mode 100755
index 5711a18..0000000
--- a/flags.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/usr/bin/env bash
-
-set -eu
-
-OUT="$1"
-shift
-
-echo "$@" >"$OUT.tmp"
-
-if [ -e "$OUT" ] && cmp -s "$OUT" "$OUT.tmp"; then
-    rm "$OUT.tmp"
-else
-    mv "$OUT.tmp" "$OUT"
-fi