From 36aef0572529b16aa0010aa5cfea396ffdaaedc1 Mon Sep 17 00:00:00 2001 From: William Entriken Date: Sat, 24 Feb 2018 13:23:14 -0500 Subject: [PATCH] Rebrand to Remix IDE --- src/app/panels/file-panel.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app/panels/file-panel.js b/src/app/panels/file-panel.js index 02a26d034b..98cae06722 100644 --- a/src/app/panels/file-panel.js +++ b/src/app/panels/file-panel.js @@ -82,7 +82,7 @@ function filepanel (appAPI, filesProvider) { publishToGist(appAPI)}> - +