From 26b2ffc665fb78bfe3345892b7d740d5835387f2 Mon Sep 17 00:00:00 2001
From: Jelle van der Waa <jelle@vdwaa.nl>
Date: Sat, 2 Feb 2019 19:09:36 +0100
Subject: 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.
---
 archrm.in | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 archrm.in

(limited to 'archrm.in')

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"
-- 
cgit v1.2.3-24-g4f1b