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)
commitbf5e40c8a56c5d7c3f78b50d354bd6568190375a
tree3ebdfe9ab33e7b1ad2d4fee41984f9d045c68b2a
parentf83789bb6d8cda46a87a61ca846843376261ad35
Convert to defvalopt: --distro, -d
dgit