Günter Milde 20f3b828f9 Documentation fixes: revert conversion of -- to en dash in code.
lyx2lyx erroneousely merged -- to en dash in text with logical
markup "code".
Revealed by recent (but now silenced) ctest fails.

Also add space around en dash in examples.
2018-01-01 22:52:08 +01:00
..
2018-01-01 12:30:34 +01:00
2017-12-15 02:30:32 +01:00
2017-12-15 02:30:32 +01:00