From c3dc33acd2894bb8fde0bb699676db1f1cdd83fe Mon Sep 17 00:00:00 2001 From: Frank Sachsenheim Date: Tue, 30 Jul 2024 18:21:18 +0200 Subject: [PATCH] charDecl.xml: Fixes redundant id I used the Unicode name for the replaced one. --- charDecl.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/charDecl.xml b/charDecl.xml index 74f9e217a4ae..36199c5440cb 100644 --- a/charDecl.xml +++ b/charDecl.xml @@ -500,12 +500,12 @@ - - + + - (asteriskos) + (reference mark)