There is a mirror at github (manually updated)
use the master branch. the rest is wild west.
max
Perhaps the TeXmacs project could set up a group on github, and mirror there? Or... does Savannah have git?
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 , since
it is not up to date? Just a thought.
Regards,
Jeremy Henty
_______________________________________________
Texmacs-dev mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________ Texmacs-dev mailing list address@hiddenhttps://lists.gnu.org/mailman/listinfo/texmacs-dev
|