remove arch rm as it's not really useful

archrm is a not much more fancy rm -rf and therefore not really useful
to ship.

1 files changed, 0 insertions, 16 deletions

diff --git a/archrm.in b/archrm.in
deleted file mode 100644
index 6f4dfc3..0000000
--- a/archrm.in
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-# License: Unspecified
-
-m4_include(lib/common.sh)
-
-if [[ -z $1 ]]; then
-	echo 'Usage: archrm <path to checkout>'
-	exit 1
-fi
-
-# FIXME: Check if there are uncommited changes
-#pushd $1
-#
-#popd
-
-rm -rf "$1"