tree 39744ad49e4b554825c2a9eff2d49ff37cba85ec
parent 78fa5e6a18b6a0c6c353945dadb6ccdfcac9a4ad
author René Kijewski <rene.kijewski@fu-berlin.de> 1576773999 +0100
committer René Kijewski <rene.kijewski@fu-berlin.de> 1576841741 +0100

Options is picklable, _skip_single_line does not drop exceptions