From ef8accbc81cca2e0c256ba044c2358a91bc5b3c7 Mon Sep 17 00:00:00 2001 From: Bastien Dumont Date: Sat, 5 Nov 2022 18:40:44 +0100 Subject: [PATCH] Removed obsolete TODO --- text-crossrefs.lua | 4 ---- 1 file changed, 4 deletions(-) diff --git a/text-crossrefs.lua b/text-crossrefs.lua index 268b0b5..8f8b73b 100644 --- a/text-crossrefs.lua +++ b/text-crossrefs.lua @@ -414,8 +414,6 @@ local function make_raw_content_tex(refs, ref_type, is_prefixed) return texified_references end ---- TODO : début de section à revoir - local function make_prefix_xml(ref_type, is_plural) local prefix = '' if is_plural then @@ -539,8 +537,6 @@ local function make_references_xml(refs, ref_type, is_prefixed) return references_xml end ---- Fin de section à revoir - local function make_raw_content_xml(refs, ref_type, is_prefixed) local is_enumeration = #refs > 1 local global_prefix = ''