From 692eae39836a9461866a5486cd27c1a0812c2c5b Mon Sep 17 00:00:00 2001
From: Eric Vergnaud <eric.vergnaud@wanadoo.fr>
Date: Sat, 25 May 2019 12:59:23 +0800
Subject: [PATCH] more docs

---
 WebSite/src/web/src/about/About.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/WebSite/src/web/src/about/About.js b/WebSite/src/web/src/about/About.js
index 7c171f19c..343d4ba05 100644
--- a/WebSite/src/web/src/about/About.js
+++ b/WebSite/src/web/src/about/About.js
@@ -117,7 +117,7 @@ export default class About extends React.Component {
                 <h2>Availability</h2>
                 <p>Prompto is currently running its evaluation program.<br/>
                     This web site provides the reference of the Prompto
-                    programming language, and a sneak preview of the Prompto libraries.<br/>
+                    programming language, and a sneak preview of the Prompto libraries and tools.<br/>
                     It also provides an online sandbox which you can use to explore the language.<br/>
                     On-line development and deployment tools are available on request.
                 </p>