Thu, 19 Dec 2019 16:49:29 +0100 | wenzelm | more documentation; | changeset | files |
Thu, 19 Dec 2019 16:21:52 +0100 | wenzelm | added option -r: support more robust consolidation of local clones with varying names; | changeset | files |
Thu, 19 Dec 2019 16:16:49 +0100 | wenzelm | clarified backup; | changeset | files |