Remove duplicate index entry.

Eelis · Eelis · commit e1f21480a94b · 2023-03-09T22:18:52.000+01:00
diff --git a/source/utilities.tex b/source/utilities.tex
@@ -14453,7 +14453,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}%
