1. 19 Jun, 2017 1 commit
    • Guillem Jover's avatar
      Remove RCSID tags · 8e8834d8
      Guillem Jover authored
      These are obsolete markers, and in some cases they repeat the
      information already present in the comment header.
      8e8834d8
  2. 23 Sep, 2015 1 commit
  3. 20 May, 2009 1 commit