| Mon, 01 May 2017 10:05:02 +0200 | wenzelm | clarified signature; | changeset | files |
| Mon, 01 May 2017 09:52:11 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 01 May 2017 09:49:22 +0200 | wenzelm | read ml_statistics from session logs: .db or .gz files; | changeset | files |
| Mon, 01 May 2017 00:07:43 +0200 | wenzelm | more informative log_filename; | changeset | files |
| Sun, 30 Apr 2017 23:41:08 +0200 | wenzelm | retrieve more than just 100 builds; | changeset | files |
| Sun, 30 Apr 2017 23:11:51 +0200 | wenzelm | clarified modules; | changeset | files |
| Sun, 30 Apr 2017 17:37:12 +0200 | wenzelm | tuned signature; | changeset | files |