chiark / gitweb /
basic: forbid rm_rf() to remove paths ending with ".." (#5653)