On Monday, August 6, 2012 7:28:53 PM UTC+2, coccinelle wrote:
> I don't understand much what is going on here, but I tried to replace
> with $USERPROFILE. This didn't help.
Did you restart Git Bash after making this change?
You could also try setting the environment variable "HOME" to point at your
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To view this discussion on the web visit
To post to this group, send email to email@example.com.
To unsubscribe from this group, send email to
For more options, visit this group at