Hi,
after creating the ProofTreeBranch the generated ChangeLog (make
ChangeLog) contains the commit messages from the trunk and the
branch, which is a bit confusing. The problem is that rcs2log
relies on cvs log, which outputs all available information by
default. There is no real fix, because cvs
> default. There is no real fix, because cvs log cannot generate
> all information that belongs to a particular branch. Even Debian
Actually, there is a real fix: convert the CVS repository to some other
(saner?) format like Bazaar or Git, and then use those tools to get the
change log for whiche
On Wed, 27 Apr 2011, Stefan Monnier wrote:
default. There is no real fix, because cvs log cannot generate
all information that belongs to a particular branch. Even Debian
Actually, there is a real fix: convert the CVS repository to some other
(saner?) format like Bazaar or Git, and then use t