040000 tree 1ede24a8f59c2ce3adb7cf95b0e4035c6ecd3e4c	clippy
040000 tree 1032fb5575aa898b21a884adc5e7fbff571325ba	progress
040000 tree 7b48c55e1e2a913515989dd2fc25e66135ed0c02	safehtml
040000 tree bb670b0c8a5de7b8a2c2c0a0d6206f8e70ce9f8f	server
040000 tree 5ef01c8c521ced6118df639a2959acafd44dfde6	user