chiark / gitweb /
util: add delete_chars() call