-
Christophe Geuzaine authored
new "-log filename" option to specify log filename, e.g. for native Windows shell where we can't redirect stdout (fixes #562)
5216ac41
new "-log filename" option to specify log filename, e.g. for native Windows shell where we can't redirect stdout (fixes #562)