| commit | 1b93e2f2e8600caefe63bb0e5f6114f7cc2cf956 | |
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 24 Sep 2007 18:44:28 +0000 (24 19:44 +0100) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Mon, 24 Sep 2007 18:49:59 +0000 (24 19:49 +0100) | ||
| tree | f3c30e80435067f14b479704b2562e21f227ffdb | treesnapshot (tar.gz zip) |
| parent | cd1d648ce509bd0b868a797bee7aa5c465a682ac | commitdiff |
WinGit: the uninstaller now removes .bash_history, too
After using the Git Shell at least once, there will be a .bash_history
file in the home directory. Do not let this hinder the uninstaller from
removing the complete Git directory.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
After using the Git Shell at least once, there will be a .bash_history
file in the home directory. Do not let this hinder the uninstaller from
removing the complete Git directory.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
| share/WinGit/uninstaller.c | diffblobblamehistory |