040000 tree 65c988cc750aff4fe8ae9adc559a26dd1f46c4a1	clippy
040000 tree e8dca415d9e297f1b9ec74346d22fecc5251544b	progress
040000 tree 22bbfd29417c24139344ac3ca2b45705a79066e8	safehtml
040000 tree 8ec93e89ca0556ab49ea9730712ea81df39402ab	server
040000 tree 10292d51c6d6805050ca9266e2194c25618291c9	user