diff options
| author | Shawn O. Pearce <spearce@spearce.org> | 2007-02-12 01:19:38 +0300 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-02-12 01:19:38 +0300 |
| commit | 0960f7d6db89fa8418486cd088759e54dd51d54e (patch) | |
| tree | 375f9034222d967ff22fdb186d1af75c753530f0 /git-gui | |
| parent | d585e782b0bfb11173028091cb11c8459766135c (diff) | |
git-gui: Stop deleting gitk preferences.
Now that git 1.5.0 and later contains a version of gitk that uses
correct geometry on Windows platforms, even if ~/.gitk exists, we
should not delete the user's ~/.gitk to work around the bug. It
is downright mean to remove a user's preferences for another app.
Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions