• 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