Juergen Spitzmueller d2b6232ce7 Fix lineno options param
This has been written even if empty -- and thus caused reading errors.
2019-06-02 19:07:01 +02:00
..
2017-10-16 10:03:05 +02:00
2018-01-31 21:13:43 +01:00
2019-03-10 13:00:10 +01:00
2019-03-10 13:00:10 +01:00
2019-03-10 13:00:10 +01:00
2019-06-02 19:07:01 +02:00
2018-02-23 08:58:16 +01:00
2019-06-02 00:04:34 +02:00
2018-01-31 21:13:43 +01:00