From 578513537a79d7cf0cb826bfc33451ca734c1a50 Mon Sep 17 00:00:00 2001 From: Daniel Naftalovich Date: Mon, 26 Feb 2024 19:50:55 -0800 Subject: [PATCH] Fix typo in theia-ide github hyperlink at TheiaIDEHeader.js --- src/components/index/TheiaIDEHeader.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/components/index/TheiaIDEHeader.js b/src/components/index/TheiaIDEHeader.js index a6d3d992..edc474b0 100644 --- a/src/components/index/TheiaIDEHeader.js +++ b/src/components/index/TheiaIDEHeader.js @@ -111,7 +111,7 @@ const TheiaIDEHeader = () => (
Download   → Try online - View on GitHub + View on GitHub

Please note that the Theia IDE is currently rebranded from its original name “Theia Blueprint”.