From db3517bc48fddd8969aee78ab53f39f05c0bc962 Mon Sep 17 00:00:00 2001 From: sayanarijit Date: Thu, 13 Jul 2023 13:12:37 +0000 Subject: [PATCH] deploy: 4c51f0affeea9ba419c53d4c05530314bf03b6fe --- en/404.html | 2 +- en/alternatives.html | 2 +- en/awesome-hacks.html | 2 +- en/awesome-integrations.html | 2 +- en/awesome-plugins.html | 2 +- en/borders.html | 22 +- en/column-renderer.html | 2 +- en/community.html | 2 +- en/concept.html | 6 +- en/configuration.html | 2 +- en/configure-key-bindings.html | 4 +- en/contribute.html | 2 +- en/debug-key-bindings.html | 2 +- en/default-key-bindings.html | 2 +- en/environment-variables-and-pipes.html | 2 +- en/filtering.html | 4 +- en/general-config.html | 2 +- en/index.html | 2 +- en/input-operation.html | 4 +- en/install.html | 2 +- en/installing-plugins.html | 2 +- en/integration.html | 2 +- en/introduction.html | 2 +- en/key-bindings.html | 6 +- en/layout.html | 8 +- en/layouts.html | 2 +- en/lua-function-calls.html | 2 +- en/message.html | 5 +- en/messages.html | 2 +- en/mode.html | 2 +- en/modes.html | 2 +- en/node-type.html | 2 +- en/node_types.html | 2 +- en/plugin.html | 2 +- en/post-install.html | 2 +- en/print.html | 108 ++++++++-- en/quickstart.html | 2 +- en/searchindex.js | 2 +- en/searchindex.json | 2 +- en/searching.html | 2 +- en/sorting.html | 4 +- en/style.html | 6 +- en/sum-type.html | 258 ++++++++++++++++++++++++ en/upgrade-guide.html | 2 +- en/writing-plugins.html | 2 +- en/xplr.util.html | 2 +- 46 files changed, 414 insertions(+), 89 deletions(-) create mode 100644 en/sum-type.html diff --git a/en/404.html b/en/404.html index 65b54c1..ba9344e 100644 --- a/en/404.html +++ b/en/404.html @@ -78,7 +78,7 @@