diff options
| author |  Mikhail Terekhov <termim@gmail.com> | 2020-06-06 04:33:38 +0000 |
|---|---|---|
| committer |  Pratyush Yadav <me@yadavpratyush.com> | 2020-06-08 15:01:46 +0530 |
| commit | a7473956f7e0ff710f6928b1c23a577f66cb4165 (patch) | |
| tree | f705800282a6243305f94212ee38035d97007552 /detect-compiler | |
| parent | Merge branch 'il/ctrl-bs-del' (diff) | |
| download | tgif-a7473956f7e0ff710f6928b1c23a577f66cb4165.tar.xz | |
git-gui: allow opening work trees from the startup dialog
In proc _is_git check that supplied path is a valid work tree path.
This allows the choose_repository::pick dialog to accept path to a
work tree directory.
Signed-off-by: Mikhail Terekhov <termim@gmail.com>
Signed-off-by: Pratyush Yadav <me@yadavpratyush.com>
Diffstat (limited to 'detect-compiler')
0 files changed, 0 insertions, 0 deletions