From 5bc4118848ca6d145401eabee7ef97176a7b1196 Mon Sep 17 00:00:00 2001
From: ronandev <38764437+ronandev@users.noreply.github.com>
Date: Sun, 4 Nov 2018 07:10:36 -0800
Subject: [PATCH] Added line about availability (#20978)

---
 guide/english/developer-tools/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/guide/english/developer-tools/index.md b/guide/english/developer-tools/index.md
index 797215a68a..6fe06d754a 100644
--- a/guide/english/developer-tools/index.md
+++ b/guide/english/developer-tools/index.md
@@ -3,7 +3,7 @@ title: Developer Tools
 ---
 ## Developer Tools
 
-In this section, we'll explain a wide variety of tools used by developers.
+In this section, we'll explain a wide variety of tools used by developers. Many of them are free or open sourced!
 
 Some examples of these tools:
 - Version control systems