040000 tree 65c988cc750aff4fe8ae9adc559a26dd1f46c4a1	clippy
040000 tree e8dca415d9e297f1b9ec74346d22fecc5251544b	progress
040000 tree d974ed255fd900b0fa174fc3435ff3bb20535aef	safehtml
040000 tree 8ec93e89ca0556ab49ea9730712ea81df39402ab	server
040000 tree f2076ca091a37ab7ef88c0311479519235293c78	user