Tagging the CVS

Run e.g. cvs tag lire-20011017.