Yet another small batch of random minor changes.
3 patches for repository http://darcs.net/screened:
patch 5426a4db382ba479b9fc7266a3eecada814daa8c
Author: Ben Franksen <ben.franksen@online.de>
Date: Sun Feb 28 13:26:04 CET 2021
* rename withRepoLocation -> withRepoDir
belated/missing long comment: the function is effectively partial. I
experimented with using more precise typing to capture the difference
between a repo on the same machine (for which withRepoDir makes sense) and a
remote repo (for which it doesn't) but this didn't work out well.
patch 34bb677972c04cd7a08b290d81af9f6c21994c03
Author: Ben Franksen <ben.franksen@online.de>
Date: Wed Mar 3 15:06:03 CET 2021
* D.R.Traverse: cut down the list of exported symbols
patch 65d4e6e15c2a7c7fa9510955de3ac306cde636fd
Author: Ben Franksen <ben.franksen@online.de>
Date: Sun Mar 14 23:19:02 CET 2021
* add debug message in applyToWorking
Attachments
|