chiark / gitweb /
allow numbered options
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:07 +0000 (22:43 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2014 22:43:07 +0000 (22:43 +0000)
commitedc4d0c340cdacbed8a4ae9eb2346bead325045c
treed05fbb67c40daaf9fef3d0c62d06259f65b883c6
parent31ff27e2177fc9e7cc5fbca3a63f844febb19a18
allow numbered options
compute