Mentions légales du service

Skip to content
  • Stephane Glondu's avatar
    Use Cmdliner for command-line parsing · 0070f0d5
    Stephane Glondu authored
    Side-effects:
     - more uniform handling of --help and --version, automatic generation
       of Unix manpages
     - slight change in syntax (see demo.sh)
     - sub-commands of "election" (Tool_election) are now direct commands,
       "election" itself disappears
     - in Tool_election, concatenate with --dir option (if any) instead of
       calling chdir
    0070f0d5