Remove duplicate index entry.

Eelis · Eelis · commit ba3aef6cf1d2 · 2023-12-21T11:28:18.000+01:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -15554,7 +15554,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}%
