| Sun, 15 Oct 2017 20:31:52 +0200 | wenzelm | added ml_statistics_step to trim stored properties; | changeset | files |
| Sun, 15 Oct 2017 18:39:20 +0200 | wenzelm | proper argument; | changeset | files |
| Sat, 14 Oct 2017 22:05:22 +0200 | wenzelm | tuned (graph.all_succs already contains origin); | changeset | files |
| Sat, 14 Oct 2017 21:50:12 +0200 | wenzelm | support for AFP versions; | changeset | files |
| Sat, 14 Oct 2017 20:58:52 +0200 | wenzelm | clarified afp_pull_date: both repository versions are relevant; | changeset | files |
| Sat, 14 Oct 2017 17:33:05 +0200 | wenzelm | clarified stored build_args; | changeset | files |