diff --git a/latex/plugin.jelly b/latex/plugin.jelly index 9f3ead1d..0163ab8f 100644 --- a/latex/plugin.jelly +++ b/latex/plugin.jelly @@ -42,7 +42,7 @@