1. 03 Mar, 2019 1 commit
  2. 17 Feb, 2016 1 commit
  3. 15 Feb, 2016 1 commit
    • Tzafrir Cohen's avatar
      Remove rcsid: Unused since move to Git · f105a09e
      Tzafrir Cohen authored
      * While technically Git can support $ID keywords, in practice they are not
        used.
      * GCC now give a warning about ''rcsid' defined but not used' for some
        of those.
      
      Let's just remove the unused rcsid.
      f105a09e
  4. 22 Dec, 2015 1 commit
  5. 05 Nov, 2015 11 commits
  6. 26 Oct, 2015 1 commit
  7. 19 Jul, 2015 1 commit
  8. 22 Jun, 2015 1 commit
  9. 26 May, 2015 2 commits
  10. 19 May, 2015 10 commits
  11. 31 Mar, 2015 1 commit
  12. 21 Jan, 2015 1 commit
  13. 07 Dec, 2014 1 commit
  14. 06 Nov, 2014 7 commits