[PPL-devel] w3ppl/About About.raw

[Roberto Bagnara]

Now it should be OK.
By the way: do you remember if I ever managed to set up a repository
at the first attempt?
I think I didn't ;-)
Ciao,

    Roberto

P M Hill wrote:
> cvs server: Updating w3ppl
> U w3ppl/Make.common
> U w3ppl/Makefile
> U w3ppl/PPL.raw
> U w3ppl/Q_and_A.raw
> cvs server: Updating w3ppl/About
> cvs server: cannot open /usr/local/cvsroot/w3ppl/About/About.raw,v:
> Permission denied
> cvs server: cannot open /usr/local/cvsroot/w3ppl/About/About.raw,v:
> Permission denied
> cvs server: nothing known about w3ppl/About/About.raw
> U w3ppl/About/Makefile
> [...]
> 
> Only the About.raw had the wrong permissions, the rest seems ok.

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it