From 81c002023e5b99ea00face71204bae904c9b619d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20C=C3=A9bron?= <yann.cebron@jetbrains.com>
Date: Wed, 17 Jul 2024 10:47:52 +0200
Subject: [PATCH] WRS: use latest

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

diff --git a/writerside.cfg b/writerside.cfg
index 9b75d39c0..f59eb4f9c 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="241.16003"/>
+        <wrs-supernova use-version="241.18775"/>
     </settings>
     <module name="intellij-sdk"/>
     <topics dir="topics"/>