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 /doc/footer.asciidoc | |
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 'doc/footer.asciidoc')
0 files changed, 0 insertions, 0 deletions