From e388a72d54f0ab2d125f1769b010ee9de51d58a3 Mon Sep 17 00:00:00 2001 From: rausch-supola Date: Mon, 10 Feb 2025 16:47:11 +0100 Subject: [PATCH] rename shawi.rng to shawi_dict.rng --- 802_tei_odd/out/{shawi.rng => shawi_dict.rng} | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) rename 802_tei_odd/out/{shawi.rng => shawi_dict.rng} (99%) diff --git a/802_tei_odd/out/shawi.rng b/802_tei_odd/out/shawi_dict.rng similarity index 99% rename from 802_tei_odd/out/shawi.rng rename to 802_tei_odd/out/shawi_dict.rng index e809a7e92..fe0c840ff 100644 --- a/802_tei_odd/out/shawi.rng +++ b/802_tei_odd/out/shawi_dict.rng @@ -5,9 +5,9 @@ xmlns:xlink="http://www.w3.org/1999/xlink" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes" ns="http://www.tei-c.org/ns/1.0">