diff options
Diffstat (limited to 'doc/ale-robot.txt')
-rw-r--r-- | doc/ale-robot.txt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/ale-robot.txt b/doc/ale-robot.txt new file mode 100644 index 00000000..405ae277 --- /dev/null +++ b/doc/ale-robot.txt @@ -0,0 +1,16 @@ +=============================================================================== +ALE Robot Integration *ale-robot-options* + + +=============================================================================== +rflint *ale-robot-rflint* + +g:ale_robot_rflint_executable *g:ale_robot_rflint_executable* + *b:ale_robot_rflint_executable* + Type: |String| + Default: `'rflint'` + + +=============================================================================== + vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl: + |