#
# ChangeLog for tools/build
#
# Generated by Trac 1.2.1
# Apr 24, 2024, 5:33:07 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