[Agda] Re: Agda library patch destination & _darcs/prefs/email

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Sat May 24 10:31:15 CEST 2008


On Fri, May 23, 2008 at 6:47 PM, Samuel Bronson <naesten at gmail.com> wrote:

> why not put your email address in
> _darcs/prefs/email under the publicly-accessible repository

I had done that, but unfortunately the file was not world readable.
Should be fixed now.

-- 
/NAD


More information about the Agda mailing list