Jakob Ackermann 6452959482 [misc] do not access potentially undefined opts

2020-11-11 11:35:33 +00:00

..

scripts

[misc] test/scripts: use logger-sharelatex for logging as in production

2020-11-10 10:15:03 +00:00

unit/src

[misc] do not access potentially undefined opts

2020-11-11 11:35:33 +00:00