> Do the instructions regarding pserver anonymous checkout of the Starlink
> java tree not work?
Steve didn't install pserver after he switched machines. [I asked a
couple of weeks ago.] While there is the risk of people taking the
out-of-date `classic' tree, we clearly still need general access to the
Java tree.
Malcolm
|