Eli Barzilay <e...@barzilay.org> writes: > * and if you really want a new "plt-release", and you really don't > want to re-clone the plt repository, then just copy yours: > cd ~/build; cp -a plt plt-release > cd plt-release; git checkout release > > My guess is that you think that `git clone' would do that last bullet, > but it isn't.
Yes, that's what I had thought. Your explanation has cleared it all up (hopefully ...) Thanks! -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
