chiark / gitweb /
Reject non-option args to u-d-mi