From 4820a21efefc53332cad0cde4cfaae5a04ac003b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Mon, 7 Apr 2025 17:25:33 +0200
Subject: [PATCH] update WRS

---
 writerside.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/writerside.cfg b/writerside.cfg
index eb704efab..0556676f6 100644
--- a/writerside.cfg
+++ b/writerside.cfg
@@ -5,7 +5,7 @@
     <settings>
         <id-generator-method>LOWER_CASE_DASHES_DOT_REMOVE</id-generator-method>
         <default-property element-name="chapter" property-name="show-structure-depth" value="2"/>
-        <wrs-supernova use-version="2025.03.8312"/>
+        <wrs-supernova use-version="2025.04.8412"/>
     </settings>
     <module name="intellij-sdk"/>
     <topics dir="topics"/>