CVSROOT: /cvs Module name: ports Changes by: [email protected] 2013/12/21 01:59:30
Modified files:
infrastructure/bin: portcheck
Log message:
Catch duplicated REVISION marks. Idea born after looking at result of
cvs update devel/boost in my local tree.
