From 80d148fdb9b9066a1bc687b12d703b19bec9a9a9 Mon Sep 17 00:00:00 2001
From: chris <kokosias@yahoo.gr>
Date: Wed, 22 Sep 2021 20:56:02 +0300
Subject: [PATCH] change title
---
editors/demo/src/Editors.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/editors/demo/src/Editors.js b/editors/demo/src/Editors.js
index b17ba5ecc..abd0628fb 100644
--- a/editors/demo/src/Editors.js
+++ b/editors/demo/src/Editors.js
@@ -96,7 +96,7 @@ const Editors = () => {
isActive={project === 'ncbi'}
onClick={() => setProject('ncbi')}
>
- Mini Editors
+ Basic Editors
</ProjectButton>
</Projects>
</ChooseProject>
--
GitLab