| commit | 7dfd4931831f828a15f78091bb095a1c5d95a083 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 17 Sep 2007 17:30:25 +0000 (17 18:30 +0100) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 17 Sep 2007 17:30:25 +0000 (17 18:30 +0100) | ||
| tree | fa47b184864d86fb2f27a9b83eb0a9b2e34d302f | treesnapshot (tar.gz zip) |
| parent | 38fac59e0d492a3b44d38a0d8ff36ad53bcb21c1 | commitdiff |
WinGit: overwrite existing files, if any
There is no excuse: the user specified where git should be installed
to, and if there are files already, we should overwrite them, lest
the user use an outdated version, in spite of having installed a new
one.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
There is no excuse: the user specified where git should be installed
to, and if there are files already, we should overwrite them, lest
the user use an outdated version, in spite of having installed a new
one.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| share/WinGit/release.sh | diffblobblamehistory |