[Agda] trouble at CVS repository for Agda

[Patrik Jansson]

Despite the louse connection I've managed to
* add marcin to the proglog unix group
* move Z-directory out of the way (mv Z ../ToBeRemoved)

I hope things will work now.

/Patrik


Marcin Benke skrev:
> 
> 
> On 4/20/06, *Marcin Benke* <marcin.benke at gmail.com 
> <mailto:marcin.benke at gmail.com>> wrote:
> 
> 
> 
>     On 4/20/06, *IKEGAMI Daisuke* < ikegami-daisuke at aist.go.jp
>     <mailto: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
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda