chiark / gitweb /
util: rm_rf_children_dangerous: delete all descendants dangerously