chiark / gitweb /
option parsing: Rework --dep14tag options, introducing `defoptmodes'