3rdparty: update widgetbot html embed script

readthedocs-fr · Jul 22, 2023 · 33fd055 · 33fd055
1 parent 3caf32b
commit 33fd055
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/public/thirdparty/widgetbot_html-embed.js b/src/public/thirdparty/widgetbot_html-embed.js