diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-23 16:07:42 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-23 16:07:42 +0900 |
commit | b9d9d90d180cf21baeeb16bd89828d25c7901470 (patch) | |
tree | a40241052af8d4f5543b66581e3f0235cfae0af3 /git-shell.txt | |
parent | ccb8252b46bfba5daf0cfcedaf0f9d2e14ba356f (diff) | |
download | git-htmldocs-b9d9d90d180cf21baeeb16bd89828d25c7901470.tar.gz |
Autogenerated HTML docs for v2.17.0-775-ge144d
Diffstat (limited to 'git-shell.txt')
-rw-r--r-- | git-shell.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-shell.txt b/git-shell.txt index 54cf2560b..11361f33e 100644 --- a/git-shell.txt +++ b/git-shell.txt @@ -62,8 +62,8 @@ permissions. If a `no-interactive-login` command exists, then it is run and the interactive shell is aborted. -EXAMPLE -------- +EXAMPLES +-------- To disable interactive logins, displaying a greeting instead: |