Hi Tobias, On Fri, 10 Jul 2020 at 13:04, Tobias Geerinckx-Rice <m...@tobias.gr> wrote:
> You might be happy with ‘--gc-keep-outputs’. Thanks. Yeah it seems it is what I need. :-) Cheers, simon
Hi Tobias, On Fri, 10 Jul 2020 at 13:04, Tobias Geerinckx-Rice <m...@tobias.gr> wrote:
> You might be happy with ‘--gc-keep-outputs’. Thanks. Yeah it seems it is what I need. :-) Cheers, simon