24 Mar
2007
24 Mar
'07
1:11 p.m.
On Saturday 24 March 2007 17:08, Ross Paterson wrote:
Looks good to me. Just a few old directories not removed:
dotnet/lib/System lib libraries/Hugs
If you can do something about those, let's switch.
This is funny: When I do a 'darcs get' for the repo, my local copy has those 3 empty directories, but the directories on the server are non-empty... Confused, S.