mirror of
https://github.com/godotengine/buildroot.git
synced 2026-01-04 06:10:16 +03:00
Since it's used only for the HTML output, and all other functions used for HTML output are prefixed by dump_html, let's do so for dump_gen_info() as well by renaming it to dump_html_gen_info(). Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>