chiark / gitweb /
remove "last_rule" option