Writerside: Update the library version.

JetBrains · Dec 17, 2024 · 235ebc9 · 235ebc9
1 parent 72953ac
commit 235ebc9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Writerside/v.list b/Writerside/v.list
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE vars SYSTEM "https://resources.jetbrains.com/writerside/1.0/vars.dtd">
 <vars>
-    <var name="version" value="4.9.2"/>
+    <var name="version" value="4.9.3"/>
     <var name="current_year" value="2024"/>
     <var name="web_root" value="https://lets-plot.org"/>