Re: manually finishing an interrupted build?
Hans Ekbrand wrote:
> OK, will do.
for the records: i've commited a change in defaults.sh so that in
future, live-helper will correct this at runtime automatically (not by
changing the config file, but the environment variable) and therefore it
is not necessary to touch the config files manually in such situations.
Address: Daniel Baumann, Burgunderstrasse 3, CH-4562 Biberist