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 |