diff options
author | w0rp <devw0rp@gmail.com> | 2017-09-10 19:42:45 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-09-10 19:42:45 +0100 |
commit | 9d24cc40471441fef4c5dd2467f22eea072d2c2d (patch) | |
tree | aacb26b26e163a953a15a0b1e596dd06de1f2202 /doc/ale-lua.txt | |
parent | c4ad92e458f51ce849baed3b628fbd2f43303ace (diff) | |
download | ale-9d24cc40471441fef4c5dd2467f22eea072d2c2d.zip |
Fix numerous issues with integration documentation tags and the table of contents, and add a script to check for theses issues
Diffstat (limited to 'doc/ale-lua.txt')
-rw-r--r-- | doc/ale-lua.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale-lua.txt b/doc/ale-lua.txt index f92d5a10..74d6b94a 100644 --- a/doc/ale-lua.txt +++ b/doc/ale-lua.txt @@ -3,7 +3,7 @@ ALE Lua Integration *ale-lua-options* =============================================================================== -4.12. luacheck *ale-lua-luacheck* +luacheck *ale-lua-luacheck* g:ale_lua_luacheck_executable *g:ale_lua_luacheck_executable* *b:ale_lua_luacheck_executable* |