]> git.tuebingen.mpg.de Git - paraslash.git/search
gengetopt: use the new (and more descriptive) 'optional' instead of 'no'.