Remove duplicate index entry.

Eelis · Eelis · commit 8e69ff3e5c37 · 2023-03-05T18:22:42.000+01:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -14425,7 +14425,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}%
