040000 tree 884c07148ebbcdf05d7aef68ba8f5aeb5f7520a0	change
040000 tree 52bfd1744a32c8789ed382a4f73a4567515a5ae3	documentation
040000 tree 304305985fcbdb1af6eef57beac323aca8e251e8	mail
040000 tree bbd820597563970ab24db50bc652f5a9bc7774de	tools