Juergen Spitzmueller b00ea51166 fixup convert_lineno (#13036)
This routine assumed \linenumbers to be preceded by \usepackage{lineno}
and that by a lyx2lyx comment.

Of course, this is not the case if users loaded lineno manually.
2024-01-26 10:30:31 +01:00
..
2020-03-05 00:24:08 +01:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2023-08-19 22:08:08 -04:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2023-08-19 22:08:08 -04:00
2022-10-26 10:52:21 +02:00
2022-10-26 10:52:21 +02:00
2023-08-19 22:08:08 -04:00
2024-01-26 10:30:31 +01: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