From 2181cdef2b23ac9f678299fc0d402969b42de703 Mon Sep 17 00:00:00 2001 From: yann300 Date: Wed, 24 Oct 2018 16:28:42 +0200 Subject: [PATCH] standard --- 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 5c5f98c70a..ceba04823c 100644 --- a/src/app/panels/terminal.js +++ b/src/app/panels/terminal.js @@ -377,7 +377,7 @@ class Terminal {
  • 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.