[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [O] custom IDs not exported

From: Bastien
Subject: Re: [O] custom IDs not exported
Date: Thu, 30 Jun 2011 18:18:46 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux)

Nick Dokos <address@hidden> writes:

> Indeed: the git repo was changed to orgmode.org back in December (?)
> and repo.or.cz was left as a mirror, but apparently it has been
> non compos mentis for a little while.

I've just checked: the git mirror at http://repo.or.cz/w/org-mode.git 
is still working fine.  Great to know users can also rely on this.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]