2 Commits

Include renames

Author	SHA1	Message	Date
Tom Wilkie	62f62e1fd5	tools.git is now called build-tools.git	2015-09-30 08:21:19 +00:00
Tom Wilkie	5208dcd67e	Review feedback ... - Use git submodule for tools. - Update Makefile to use submodules. - Put submodule at tools/ - Tidy up some obsolete references to tools in .gitignore.	2015-09-30 08:21:08 +00:00