[Agda] trouble at CVS repository for Agda

[Marcin Benke]

On 4/20/06, Marcin Benke <marcin.benke at gmail.com> wrote:
>
>
>
> On 4/20/06, IKEGAMI Daisuke <ikegami-daisuke at aist.go.jp> wrote:
> >
> > Dear developers and maintainers,
> >
> > The CVS repository for Agda is locked now and everyone cannot
> > get(check out) sources from CVS.
> >
> > I found a directory named 'Z' at the top directory of Agda
> > repository. The 'Z' directory maybe wrong because the contents
> > of Z are same to 'Examples' directory.
>
>
> Well, the 'Z' directory is a result of my failed attempt of fixing an
> earlier problem with the 'Examples' directory. alas I don't have suffficient
> rights at Chalmers right now, but maybe Patrik can fix this? (the Z
> directory may now be safely deleted).
>
>
>

--
Marcin Benke
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20060420/6e5a4f04/attachment.html