#
# ChangeLog for tools/build
#
# Generated by Trac 1.2.1
# Apr 27, 2024, 2:28:29 PM

Wed, 11 Sep 2019 19:08:54 GMT Thierry Delisle <tdelisle@…> [6716d78]
	* .gitignore (modified)
	* tools/build/distcc_hash (added)
	* tools/build/push2dist.sh (added)

	Fixed gitignore which was ignoring tools/build and added missing ...


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