diff options
| author | Andreas Wachowski <andreas.wachowski@gmail.com> | 2023-02-03 18:25:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-03 17:25:49 +0000 |
| commit | 45a3e3f574172028338de70ce8f8f606dec0a1b0 (patch) | |
| tree | 2deef2a39eb20e63422da247c4188ed26cd58edb /doc | |
| parent | 98f466f9ce851edeb99fa14a75fca1f266f62d52 (diff) | |
| download | ale-45a3e3f574172028338de70ce8f8f606dec0a1b0.zip | |
Remove duplicated word in help g:ale_virtualtext_cursor (#4444)
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index c9bebd05..38432a60 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2323,7 +2323,7 @@ g:ale_virtualtext_cursor *g:ale_virtualtext_cursor* Messages are only displayed after a short delay. See |g:ale_virtualtext_delay|. - Messages can be prefixed prefixed with a string. See |g:ale_virtualtext_prefix|. + Messages can be prefixed with a string. See |g:ale_virtualtext_prefix|. ALE will use the following highlight groups for problems: |