Günter Milde 39beb08bf8 Fix lyx2lyx conversion of dashes.
Update for UserGuide and de/UserGuide will follow.
2018-01-01 22:47:56 +01:00
..
2016-06-16 22:05:56 +02:00
2017-10-16 11:22:13 +02:00
2017-10-16 11:22:13 +02:00
2018-01-01 22:47:56 +01:00
2018-01-01 22:47:56 +01:00