[m-dev.] Can I delete mercury-prev

[Peter Wang]

Go ahead.


On 16 April 2013 12:34, Paul Bone <paul at bone.id.au> wrote:

>
> Can I delete the mercury-prev repository from github?
>
> This is one of our previous attempts at converting the repository.
>
> Thanks.
>
> --
> Paul Bone
> http://www.bone.id.au
> _______________________________________________
> developers mailing list
> developers at lists.mercurylang.org
> http://lists.mercurylang.org/listinfo/developers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/developers/attachments/20130416/50187b51/attachment.html>