diff options
author | w0rp <devw0rp@gmail.com> | 2016-09-18 19:36:54 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2016-09-18 19:36:54 +0100 |
commit | e0fc0c7bb607760daa70ddd1a31fe1f30663e91f (patch) | |
tree | df55a549ea401a499f36a4d2ad5e3c50bcf6e089 /README.md | |
parent | b66b6f925acaa6e44a4110dc3b269630045462e2 (diff) | |
download | ale-e0fc0c7bb607760daa70ddd1a31fe1f30663e91f.zip |
Explain the language and tools table some more.
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -17,6 +17,9 @@ follow later. ## Supported Languages and Tools +This plugin supports the following languages and tools. All available +tools will be run in combination, so they can be complementary. + <!-- Keep the table rows sorted alphabetically by the language name, and the tools in the tools column sorted alphabetically by the tool |