From 4dbd8a23e0678dcfe9d5d58701ba0e831d76ed2e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Tue, 30 Apr 2019 14:47:50 +0200
Subject: [PATCH] Update terminal.js

---
 src/app/panels/terminal.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 6b36436383..d127589d89 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -412,7 +412,7 @@ class Terminal extends BaseApi {
                         <li><a target="_blank" href="https://web3js.readthedocs.io/en/1.0/">web3 version 1.0.0</a></li>
                         <li><a target="_blank" href="https://docs.ethers.io/ethers.js/html/">ethers.js</a> </li>
                         <li><a target="_blank" href="https://www.npmjs.com/package/swarmgw">swarmgw</a> </li>
-                        <li>compilers - contains currently loaded compiler</li>
+                        <li>remix (run remix.help() for more info)</li>
                       </ul>
                     </li>
                     <li>Executing common command to interact with the Remix interface (see list of commands above). Note that these commands can also be included and run from a JavaScript script.</li>