040000 tree bd6b96df03c821d4ac75b16030690c49a92cd75d	distrib
040000 tree f665e25009db4574c8445083bfa8cf6a917be182	dockerfile
040000 tree ae7054382aca016286e001b080f113d4073f4930	doxygen
040000 tree 58a87563ce2656a3e4f560a5344d186ec2d393b7	run_tests