chiark / gitweb /
remove "ignore_remove" option