wenzelm [Mon, 06 Jun 2022 19:19:12 +0200] rev 75518
clarified remote vs. local build_history: operate on hg_sync directory instead of repository;
wenzelm [Mon, 06 Jun 2022 19:17:53 +0200] rev 75517
proper operation on String, not Path;
wenzelm [Mon, 06 Jun 2022 16:06:22 +0200] rev 75516
clarified signature: cwd can be misleading --- changes meaning of target;
wenzelm [Sun, 05 Jun 2022 20:16:48 +0200] rev 75515
merged
wenzelm [Sun, 05 Jun 2022 20:14:59 +0200] rev 75514
more meta data;
clarified signature: more explicit types;
wenzelm [Sun, 05 Jun 2022 20:14:32 +0200] rev 75513
clarified signature: more operations;
wenzelm [Sun, 05 Jun 2022 20:13:47 +0200] rev 75512
tuned messages;
wenzelm [Sun, 05 Jun 2022 19:19:55 +0200] rev 75511
provide .hg_sync meta data;
always clean target, but guard it wrt. .hg_sync for robustness (no need for dry-run);
updated and clarified documentation;
wenzelm [Sat, 04 Jun 2022 16:54:24 +0200] rev 75510
clarified signature;
clarified version of locally changed repository;
wenzelm [Wed, 01 Jun 2022 10:10:42 +0200] rev 75509
clarified options;