> 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

Reply via email to