040000 tree 65c988cc750aff4fe8ae9adc559a26dd1f46c4a1	clippy
040000 tree e8dca415d9e297f1b9ec74346d22fecc5251544b	progress
040000 tree 9b048cc58aa0550ea29ad27e55d62d20d88119e0	safehtml
040000 tree 8ec93e89ca0556ab49ea9730712ea81df39402ab	server
040000 tree 10292d51c6d6805050ca9266e2194c25618291c9	user