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