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 /.gitignore | |
parent | 62306018f2cea57aafae410f00d00d2594592e8f (diff) | |
download | devtools-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 '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -3,7 +3,6 @@ devtools-*.tar.gz* archbuild archco archrelease -archrm bash_completion checkpkg commitpkg |