Age | Commit message (Expand) | Author |
---|---|---|
2012-05-21 | Relocate start and stop of timing server | Stavros Aronis |
2012-05-21 | Change --time to --statistics and include more info | Stavros Aronis |
2012-05-21 | All spawns are now spawn_links | Stavros Aronis |
2012-05-21 | Add better timing labels | Stavros Aronis |
2012-05-21 | Add --time option to Dialyzer | Stavros Aronis |