From: Paul V. <pa...@vi...> - 2020-01-20 18:25:15
|
Mark wrote: > > Also, at lines 320-324 (that's the bit about how we used to keep tools and > > lib binaries in the CVS repository): you've changed that to 'git repository', > > but of course they were never in there. > > Technically they are in the git repository as well, as I preserved the > history during migration, but I get your point ;) Ah, OK -- it's always good to be precise! :-) > I'll do a revision to remove that and then merge. Good, thanks again! Cheers, Paul |