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 /Makefile | |
parent | 62306018f2cea57aafae410f00d00d2594592e8f (diff) | |
download | devtools32-26b2ffc665fb78bfe3345892b7d740d5835387f2.tar.xz |
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 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -8,7 +8,6 @@ BINPROGS = \ commitpkg \ archco \ archrelease \ - archrm \ archbuild \ lddd \ finddeps \ |