chiark / gitweb /
Convert to defvalopt: --distro, -d
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 14 Aug 2015 13:07:21 +0000 (14:07 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 14 Aug 2015 17:34:59 +0000 (18:34 +0100)

No differences found