Klaas van Schelven eba7f1c628 When no line numbers are available, don't display them ...

(Whether this is needed in practice is unsure; I implemented this
before I noticed that in such cases frame.context_line is also
always missing in my data-set; but I havent' checked the spec and
leaving it in defensively really won't hurt)

2024-04-03 10:29:40 +02:00

..

dist

When no line numbers are available, don't display them

2024-04-03 10:29:40 +02:00