040000 tree 1ede24a8f59c2ce3adb7cf95b0e4035c6ecd3e4c	clippy
040000 tree 1032fb5575aa898b21a884adc5e7fbff571325ba	progress
040000 tree 7b48c55e1e2a913515989dd2fc25e66135ed0c02	safehtml
040000 tree 71080b78634b7ecaf033aca52151b82eed09490c	server
040000 tree ed01bb3830a4f369c4660ef4c6b5a064f18ac7cb	user