Günter Milde 5dc48f7ef9 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-02 11:20:35 +01:00
..
2017-12-15 02:31:36 +01:00
2017-12-15 02:31:36 +01:00
2017-12-15 02:31:36 +01:00
2017-12-15 02:31:36 +01:00