developer/check: configure: WARNING: filterdiff not installed; build will not be...
tree7e200b8e5490494e7cbcb82e9aff3ac0a01d65b2
drwxr-xr-x - .github
-rw-r--r-- 275 .gitignore
-rw-r--r-- 3937 .hgtags
-rw-r--r-- 1485 Makefile
-rw-r--r-- 7086 README
-rw-r--r-- 1067 SECURITY.md
-rw-r--r-- 4423 Vagrantfile
drwxr-xr-x - ci
drwxr-xr-x - components
drwxr-xr-x - doc
drwxr-xr-x - make-rules
drwxr-xr-x - templates
drwxr-xr-x - tools
drwxr-xr-x - transforms