chiark / gitweb /
common: use python instead of calling out to 'rm'