Hi Michael, Le Fri, 8 Feb 2013 13:40:53 +0100, Michael Lachmann <lachm...@eva.mpg.de> a écrit :
> So, can anyone point me to a documentation page of how to commit > changes other than submitting patches? Firstly, did you uploaded a ssh key on savannah ? Also, are you using a shell interface ? François -- François Poulain <fpoul...@metrodore.fr> La faculté de citer est un substitut commode à l'intelligence. -+- Sommerset Maugham -+- _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
