remove arch rm as it's not really useful - devtools32

diff options

author	Jelle van der Waa <jelle@vdwaa.nl>	2019-02-02 19:09:36 +0100
committer	Levente Polyak <levente@leventepolyak.net>	2019-02-24 13:37:37 +0100
commit	26b2ffc665fb78bfe3345892b7d740d5835387f2 (patch)
tree	b0d9f1094c001111bed938a12c79a2f7eaa4fc6b /crossrepomove.in
parent	62306018f2cea57aafae410f00d00d2594592e8f (diff)

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.

Diffstat (limited to 'crossrepomove.in')

0 files changed, 0 insertions, 0 deletions