Sat, 15 Oct 2016 21:37:19 +0200 | wenzelm | clarified signature: more static types; | changeset | files |
Sat, 15 Oct 2016 21:08:04 +0200 | wenzelm | clarified hg.id operation, with explicit tip as default; | changeset | files |
Sat, 15 Oct 2016 21:02:39 +0200 | wenzelm | added remote_build_history tasks: parallel on several remote hosts; | changeset | files |