diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2019-02-25 23:16:29 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-03-07 09:41:40 +0900 |
| commit | 8d8e9c2a94c4cb60a0db2a496fd1f28fc6ec79f8 (patch) | |
| tree | 5d9118589d32bb0f91aa98252a005224f7c7d430 /git-gui | |
| parent | 40af14683432285b94407e8488eab6942d0779dc (diff) | |
stash: add back the original, scripted `git stash`
This simply copies the version as of sd/stash-wo-user-name verbatim. As
of now, it is not hooked up.
The next commit will change the builtin `stash` to hand off to the
scripted `git stash` when `stash.useBuiltin=false`.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Thomas Gummerer <t.gummerer@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui')
0 files changed, 0 insertions, 0 deletions