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 <[email protected]> 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 , since > it is not up to date? Just a thought. > > Regards, > > Jeremy Henty > > _______________________________________________ > Texmacs-dev mailing list > [email protected] > https://lists.gnu.org/mailman/listinfo/texmacs-dev >
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
