mirror of
https://github.com/git/git
synced 2024-10-12 11:32:34 +00:00
51f4d16b1d
I decided that the options menu was going to turn into a mess after a while as I start to add additional features to git-gui. The better approach would be to create a dialog that lets the user edit the options, including their --global options. We also wisely let the user press Cancel (or destroy the window) to abort any sort of option editing session, without the options being changed. Signed-off-by: Shawn O. Pearce <spearce@spearce.org> |
||
---|---|---|
git-citool | ||
git-gui | ||
TODO |