From e0fc0c7bb607760daa70ddd1a31fe1f30663e91f Mon Sep 17 00:00:00 2001
From: w0rp <devw0rp@gmail.com>
Date: Sun, 18 Sep 2016 19:36:54 +0100
Subject: [PATCH] Explain the language and tools table some more.

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index 40ad9d6..446602b 100644
--- a/README.md
+++ b/README.md
@@ -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