On Ter, 2013-03-19 at 14:08 +0100, Nicolas Chauvet wrote: > Please refresh your checkout. which means : cvs update -d I wrote this, because I always forgot how to do it and now is recorded, hope that could help someone. Best regards, -- Sérgio M. B.