chiark / gitweb /
Dgit.pm: read_tree_*: Treat '' as meaning 'delete this'