Remove duplicate index entry.

Eelis · Eelis · commit 2b4b884dcce4 · 2023-08-25T12:40:47.000+02:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -15500,7 +15500,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}%
