From bc987d5b6b8c59da616fe2f21175d0e9d5e4e68d Mon Sep 17 00:00:00 2001 From: sayanarijit Date: Wed, 19 Jan 2022 11:01:44 +0000 Subject: [PATCH] Automated deployment: Wed Jan 19 11:01:44 UTC 2022 ef0d37e9f692f85c57e62eb55455de4ef9f7de07 --- en/installing-plugins.html | 7 ++++++- en/print.html | 12 ++++++++---- en/searchindex.js | 2 +- en/searchindex.json | 2 +- en/writing-plugins.html | 5 ++--- 5 files changed, 18 insertions(+), 10 deletions(-) diff --git a/en/installing-plugins.html b/en/installing-plugins.html index bfce557..f8177d1 100644 --- a/en/installing-plugins.html +++ b/en/installing-plugins.html @@ -146,7 +146,12 @@ following procedure: