1. 11 Dec, 2018 1 commit
  2. 05 Dec, 2018 1 commit
  3. 28 Jun, 2018 2 commits
  4. 27 Jun, 2018 1 commit
  5. 10 Apr, 2017 1 commit
  6. 19 Jul, 2016 2 commits
  7. 14 Apr, 2016 1 commit
  8. 27 Jan, 2016 2 commits
  9. 09 Apr, 2015 1 commit
  10. 03 Sep, 2014 1 commit
  11. 09 Jul, 2014 1 commit
  12. 23 May, 2014 1 commit
  13. 22 May, 2014 2 commits
  14. 17 Apr, 2014 1 commit
  15. 16 Apr, 2014 1 commit
  16. 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
  17. 26 Mar, 2014 1 commit
  18. 25 Nov, 2013 1 commit
  19. 25 Jul, 2013 1 commit
  20. 27 Jun, 2013 1 commit
  21. 19 Jun, 2013 2 commits
  22. 19 Apr, 2013 8 commits
  23. 01 Oct, 2012 1 commit