diff options
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 3421378a..f002f40d 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -830,9 +830,9 @@ g:ale_python_pylint_options *g:ale_python_pylint_options* `python3 -m pip install --user pylint`). ------------------------------------------------------------------------------ -4.25. erlang *ale-linter-options-erlang* +4.25. erlang *ale-linter-options-erlang* -g:ale_erlang_erlc_flags *g:ale_erlang_erlc_flags* +g:ale_erlang_erlc_options *g:ale_erlang_erlc_options* Type: |String| Default: '`''`' |