From af57cca561e75834cba8648a5eeb1056c3964180 Mon Sep 17 00:00:00 2001 From: eg15 Date: Thu, 8 Feb 2018 16:59:49 +0000 Subject: [PATCH] =?UTF-8?q?replace=20@=20with=20=C2=A7=20in=20cg-lemmas?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- cg3-lemmas.xsl | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/cg3-lemmas.xsl b/cg3-lemmas.xsl index 29d1f7f..7f04994 100644 --- a/cg3-lemmas.xsl +++ b/cg3-lemmas.xsl @@ -52,19 +52,19 @@ - @vol + §vol - @inv + §inv - @mix + §mix - @mix + §mix - @err: + §err: @@ -72,11 +72,11 @@ - @ + § - @ + §