> 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.
Stefan
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
