chiark / gitweb /
with-lock-ex: Replace ad-hoc option parser with getopt.