> 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 whichever branch you're interested in.
ProofGeneral-devel mailing list