Niklas Carlsson fa564e33b9 Update text and workspaces as well ... These have a left/right and increase/behaviour.		2019-02-05 10:52:45 +01:00
..
default	Update text and workspaces as well	2019-02-05 10:52:45 +01:00
literate	Remove third line in section headers	2018-09-09 09:58:19 -04:00