[MLton-devel] CVS checkout?

[Henry Cejtin]

Ah, for some reason the local directory must have had something in it that
knew the old CVS server information, and it was that that was confusing it.
I always use checkout because it does an update if I have stuff and if the
directory is empty it grabs it.
Any way, thanks.  It seems to work fine.  I just had to clear out the old
directory.



-------------------------------------------------------
This SF.net email sponsored by: Enterprise Linux Forum Conference & Expo
The Event For Linux Datacenter Solutions & Strategies in The Enterprise 
Linux in the Boardroom; in the Front Office; & in the Server Room 
http://www.enterpriselinuxforum.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel