[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.
Best,
--
Bastien