Skip to content

remove arch rm as it's not really useful

Jelle van der Waa requested to merge github/fork/jelly/rm_archrm into master

archrm is a not much more fancy rm -rf and therefore not really useful to ship.

Merge request reports