On Jun 27, 1:23 pm, Toon Verstraelen <toon.verstrae...@ugent.be>
wrote:
> This should reset all changes in your local directory. Use with care.
>
> git reset --hard
Thanks. That did it.
/c
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to sympy@googlegroups.com
To unsubscribe from this group, send email to sympy+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sympy?hl=en
-~----------~----~----~----~------~----~------~--~---
