Hi Waldek, > ATM git is a burden for me: > on my main machine I accidentaly deleted my old git > installation and I hit problem installing new version.
You must have a fairly strange or old computer that a git installation is problematic. > So currently I need to pull repo to server and than > transfer files to my developement machine. Are you saying your development machine has no Internet access? Github allows a unified diff form of a commit. See ... http://chem-bla-ics.blogspot.co.at/2011/01/github-tip-download-commits-as-patches.html Just adding ".patch" to a github commit URL and downloading the diff with wget or curl probably gives you the respective diff you want. Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
