Revision 14986 / collects / config

Path	Duration	Timeout?	Unclean Exit?	STDERR Output
config.scrbl	497.62ms
config.ss	268.17ms
info.ss	292.39ms
main.ss	1.13s
Total	2.19s