There is a mirror at github (manually updated) https://github.com/mgubi/texmacs <https://github.com/mgubi/texmacs>
use the master branch. the rest is wild west. max > On 30 Nov 2016, at 17:55, Karl Hegbloom <karl.hegbl...@gmail.com> wrote: > > Perhaps the TeXmacs project could set up a group on github, and mirror there? > Or... does Savannah have git? > > > On Wed, Nov 30, 2016, 04:29 Jeremy Henty <onepo...@starurchin.org > <mailto:onepo...@starurchin.org>> wrote: > > Karl, > > Many thanks for your detailed reply. I am building from a subversion > checkout at the moment but I have saved your message for when I want > to switch to git to hack on the code. > > Regarding the TeXmacs website, perhaps it should not advertise the > Gitorious repository at https://gitorious.org/texmacs/texmacs > <https://gitorious.org/texmacs/texmacs> , since > it is not up to date? Just a thought. > > Regards, > > Jeremy Henty > > _______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org <mailto:Texmacs-dev@gnu.org> > https://lists.gnu.org/mailman/listinfo/texmacs-dev > <https://lists.gnu.org/mailman/listinfo/texmacs-dev> > _______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org > https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
