/etc/profile: replace mingw.git by mingw/4msysgit.git
commit64c2320cc8f3a99c41e9e24eb80dea0e30ee77a6
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 7 Aug 2007 19:04:36 +0000 (7 20:04 +0100)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 7 Aug 2007 19:04:36 +0000 (7 20:04 +0100)
tree91be291ed56a0e7f43a5dd60d74da99132124807
parenta30f0d80bbf37490802de6204220f083fa91899a
/etc/profile: replace mingw.git by mingw/4msysgit.git

Totally untested, but should be safe.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
etc/profile