2 commits

Author	SHA1	Message	Date
Andrew Hamilton	f414cc4a96	tools: Moved TOOLS_FOR_EXTENSIONS into tools.toml ... - Now a tool can be added/removed by editing one file.	2018-05-18 13:04:08 +10:00
Andrew Hamilton	915eac35ba	tools: Changed to toml instead of yaml. ... - toml is simpler than yaml and popular enough.	2018-05-17 16:16:21 +10:00