chiark / gitweb /
[PATCH] add OPTION="last_rule" to skip any later rule