• 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