From 85aef3c9f6af49c0ae88757bab83887e1fe813b3 Mon Sep 17 00:00:00 2001 From: Owen Stephens Date: Thu, 4 Feb 2021 22:28:19 +0000 Subject: [PATCH] Re-instating Tabs import --- docs/docs/manual/installing.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/docs/manual/installing.md b/docs/docs/manual/installing.md index ff6973494..d8adb04b7 100644 --- a/docs/docs/manual/installing.md +++ b/docs/docs/manual/installing.md @@ -78,6 +78,9 @@ If you are upgrading an existing OpenRefine installation, you can delete the old If you have extensions installed, do not delete the `webapp\extensions` folder where you installed them. You may wish to install extensions into the workspace directory instead of the program directory. There is no guarantee that extensions will be forward-compatible with new versions of OpenRefine, and we do not maintain extensions. ::: +import Tabs from '@theme/Tabs'; +import TabItem from '@theme/TabItem'; +