#
# ChangeLog for tools/build/clean_hdr.awk
#
# Generated by Trac 1.2.1
# Apr 19, 2024, 7:01:34 AM

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