From 5e72e3c112917f6e08d7ee40fa593e41bcd58110 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sat, 17 Feb 2024 16:50:30 +0100 Subject: [PATCH] [format.syn] Remove obsolete index entry --- source/utilities.tex | 1 - 1 file changed, 1 deletion(-) diff --git a/source/utilities.tex b/source/utilities.tex index 97e4e2bf26..a675194b9b 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -15565,7 +15565,6 @@ \indexlibraryglobal{wformat_context}% \indexlibraryglobal{format_args}% \indexlibraryglobal{wformat_args}% -\indexlibraryglobal{format_args_t}% \indexlibraryglobal{format_to_n_result}% \indexlibrarymember{out}{format_to_n_result}% \indexlibrarymember{size}{format_to_n_result}%