From: Mark R. <ma...@la...> - 2020-01-25 15:03:57
|
On 20-01-2020 19:25, Paul Vinkenoog wrote: > 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! I have released the modified docs to the website. Mark -- Mark Rotteveel |