Remove duplicate index entry.

Eelis · Eelis · commit 965b7cdf66d5 · 2023-11-20T08:29:10.000+01:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -15498,7 +15498,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}%
