1. 23 May, 2018 1 commit
  2. 21 Apr, 2016 1 commit
  3. 15 Apr, 2016 1 commit
  4. 08 Apr, 2016 1 commit
  5. 24 Mar, 2016 1 commit
  6. 23 Apr, 2014 1 commit
  7. 10 Apr, 2014 1 commit
    • 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
  8. 04 Apr, 2014 1 commit
  9. 19 Mar, 2014 1 commit
  10. 12 Feb, 2014 1 commit
  11. 05 Feb, 2014 2 commits
  12. 09 Jan, 2014 1 commit
  13. 07 Jan, 2014 2 commits
  14. 26 Nov, 2013 1 commit
  15. 25 Nov, 2013 2 commits
  16. 21 Nov, 2013 1 commit
  17. 19 Nov, 2013 1 commit
  18. 15 Nov, 2013 3 commits
  19. 30 Aug, 2013 1 commit
  20. 25 Jul, 2013 1 commit
  21. 03 Jul, 2013 1 commit
  22. 27 Jun, 2013 1 commit
  23. 25 Jun, 2013 4 commits
  24. 24 Jun, 2013 1 commit
  25. 21 Jun, 2013 2 commits