3 commits

Author	SHA1	Message	Date
Ondřej Budai	9fd9270c53	tools/tree-diff: List all dirs and files inside added/deleted dirs ... In my opinion it is better to dump everything and then filter out unneeded entries elsewhere.	2019-10-08 21:39:35 +02:00
Lars Karlitski	7375e4f5dd	tree-diff: change shebang to respect $PATH	2019-10-07 10:10:51 +02:00
Tom Gundersen	ff8b21ae22	tools: add a helper to generate a 'deep diff' of two trees ... The tool compares two trees based on the information that constitutes the treesum. Signed-off-by: Tom Gundersen <teg@jklm.no>	2019-09-18 14:53:02 +02:00