#
# ChangeLog for tools/build/clean_hdrs
#
# Generated by Trac 1.2.1
# Feb 20, 2025, 3:06:19 PM

Fri, 11 Aug 2017 18:38:04 GMT Thierry Delisle <tdelisle@…> [c65a80b]
	* tools/build/clean_hdr.awk (added)
	* tools/build/clean_hdrs (added)
	* tools/build/time_make (added)

	Added tools used for cleaning headers and timing builds