Sat, 13 Aug 2016 23:45:29 +0200 | wenzelm | gnuplot presentation similar to former isatest-statistics; | changeset | files |
Sat, 13 Aug 2016 23:33:58 +0200 | wenzelm | tuned; | changeset | files |
Sat, 13 Aug 2016 12:06:11 +0200 | wenzelm | statistics from session build output; | changeset | files |
Sat, 13 Aug 2016 12:05:53 +0200 | wenzelm | more uniform output; | changeset | files |