Stephen, The git-pull worked fine as you typed it. I had a typo in my command line.
We should be able to do git-pulls from now on which will greatly simplify the task. Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
