author | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 11 Feb 2007 22:19:38 +0000 (17:19 -0500) | ||
committer | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 11 Feb 2007 22:19:38 +0000 (17:19 -0500) | ||
commit | 0960f7d6db89fa8418486cd088759e54dd51d54e | |
tree | 375f9034222d967ff22fdb186d1af75c753530f0 | tree | snapshot |
parent | d585e782b0bfb11173028091cb11c8459766135c | commit | 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>
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>
git-gui.sh | diff | blob | history |