From 4c059194a9360d327de8dc20eca44f9ecc80af4d Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Mon, 29 Oct 2018 17:12:31 +0100
Subject: [PATCH] add doc

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

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 7aed50bab0..c8c4bed7cc 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -378,6 +378,7 @@ class Terminal {
                         <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>
                       </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>