[PPL-devel] Is ppl.git accessible as of today?

[Z.]

*% git clone git://git.cs.unipr.it/ppl/ppl.git
<http://git.cs.unipr.it/ppl/ppl.git>Cloning into 'ppl'...fatal: remote
error: access denied or repository not exported: /ppl/ppl.git*


Zhoulai
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20211005/02fe260f/attachment.htm>