040000 tree 65c988cc750aff4fe8ae9adc559a26dd1f46c4a1	clippy
040000 tree e8dca415d9e297f1b9ec74346d22fecc5251544b	progress
040000 tree ce4d6a1834f2da8e3bfe51c287944d66e2051136	safehtml
040000 tree 8ec93e89ca0556ab49ea9730712ea81df39402ab	server
040000 tree 7c8ea9301647a03113be78359f36774566dff0b2	user