I used to happily pull the TeXmacs source from the git mirror at
gitorious but recently it started failing:
$ git remote update --prune
Fetching origin
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.
error: Could not fetch origin
$ git config remote.origin.url
git://gitorious.org/texmacs/texmacs.git
Is it still maintained?
Regards,
Jeremy Henty
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
