20 Dec
2005
20 Dec
'05
11:50 p.m.
On 2005-12-19, Malcolm Wallace <Malcolm.Wallace@cs.york.ac.uk> wrote:
Ross Paterson <ross@soi.city.ac.uk> writes:
No problem for me if you switch over at any time. But how about having a separate repository for each library package?
Seconded.
Simon, any thoughts? We could go about this one of two ways: 1) Just make branches of the current libraries repo, and in each one, remove the files that aren't relevant for a particular package 2) Re-convert the CVS files from scratch I would prefer #1 by far ;-) -- John